[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Re: How to create a PDF-Printer from the command line

On 2018-01-09, Ionel Mugurel Ciobîcă <I.M.Ciobica@upcmail.nl> wrote:
> On  9-01-2018, at 06h 52'16", davidson wrote about "Re: How to create a PDF-Printer from the command line"
>> >
>> >How does one convert a text file to a PDF using the command line?
>> Step 1. Make sure the text file is also a latex document.
>> Step 2. Use latex.
> Assuming step 1 is reached, step 2 will make a dvi file. That was not
> what the OP asked for...

pdftex (your one step road to a pdf)?

       Run  the  pdfTeX  typesetter  on  file,  usually creating

Of course, B. will inform us that this amounts to eradicating a microbe with a
gorilla (or vice-versa?).

> Ionel

"Ruling a large nation is like cooking a small fish" - Lao Tzu

Reply to: