On 2018-01-09, Ionel Mugurel Ciobîcă <i.m.ciob...@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)?
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
