Web lists-archives.com

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




On 2018-01-09, Ionel Mugurel Ciobîcă <I.M.Ciobica@xxxxxxxxxx> 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)?

 DESCRIPTION
       Run  the  pdfTeX  typesetter  on  file,  usually creating
       file.pdf.  

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