Web lists-archives.com

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

On 2018-01-09, Curt <curty@xxxxxxx> wrote:
> 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)?
>        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

If you're dealing with latex files, as I have taken some minutes to
discover (cough), you need 'pdflatex', not pdftex, which will barf
immediately upon encountering latex commands.

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