<div dir="ltr">There is probably a better way but what's worked for me here is to make sure I have pdflatex on my system (sudo apt install texlive, or similar), then "make reconfigure", which seems to set PDFLATEX as required, and then something like<div><br></div><div>     cd src/docs/tex/manual</div><div>     make manual.pdf LOC=$PETSC_DIR</div><div>     cd ../../../docs</div><div>     # manual.pdf should be there</div></div><div class="gmail_extra"><br><div class="gmail_quote">2018-01-26 14:00 GMT+01:00 Vaclav Hapla <span dir="ltr"><<a href="mailto:vaclav.hapla@erdw.ethz.ch" target="_blank">vaclav.hapla@erdw.ethz.ch</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
> 25. 1. 2018 v 9:33, Smith, Barry F. <<a href="mailto:bsmith@mcs.anl.gov">bsmith@mcs.anl.gov</a>>:<br>
<span class="">><br>
><br>
>  src/docs/tex/manual/<wbr>developers.tex there is also a make file that generates the PDF.<br>
<br>
</span>I'm trying to build the manual. Apparently the PDFLATEX variable is not set. So I set it externally and it works - is it supposed to be done this way? Would you mind adding the PDFLATEX variable into ${PETSC_DIR}/lib/petsc/conf/<wbr>variables? Perhaps with assigned using ?= so that it could be overridden?<br>
<span class="HOEnZb"><font color="#888888"><br>
Vaclav<br>
</font></span><div class="HOEnZb"><div class="h5"><br>
><br>
>  Barry<br>
><br>
> The document should provide information about the location of its source.<br>
><br>
><br>
><br>
>> On Jan 25, 2018, at 2:19 AM, Vaclav Hapla <<a href="mailto:vaclav.hapla@erdw.ethz.ch">vaclav.hapla@erdw.ethz.ch</a>> wrote:<br>
>><br>
>><br>
>><br>
>>> 24. 1. 2018 v 22:55, Scott Kruger <<a href="mailto:kruger@txcorp.com">kruger@txcorp.com</a>>:<br>
>>><br>
>>><br>
>>><br>
>>> On 1/24/18 6:50 AM, Vaclav Hapla wrote:<br>
>>>>> 24. 1. 2018 v 14:45, Vaclav Hapla <<a href="mailto:vaclav.hapla@erdw.ethz.ch">vaclav.hapla@erdw.ethz.ch</a>>:<br>
>>>>><br>
>>>>> How should I specify output files for {{...}} with different outputs, please?<br>
>>>> Oh I see, {{...}separateoutput} is meant literally. But in that case typesetting it in italics is confusing.<br>
>>><br>
>>> It's clearer in the examples listed below.   I couldn't get lstinline to work for this syntax so used $ ... $.  If someone knows how to do it, please feel free to fix.<br>
>><br>
>> Where are this manual's latex sources?<br>
>><br>
>> Vaclav<br>
>><br>
>>><br>
>>> Scott<br>
>>><br>
>>>> Vaclav<br>
>>>>><br>
>>>>> I have consulted the developers manual but it's not clear to me still. And the example listings, page 34-45, seem to be broken.<br>
>>>>><br>
>>>>> BTW in 7.1.2, I think there should be the space instead of the comma in the listing.<br>
>>>>><br>
>>>>> Thanks<br>
>>>>><br>
>>>>> Vaclav<br>
>>><br>
>>> --<br>
>>> Tech-X Corporation               <a href="mailto:kruger@txcorp.com">kruger@txcorp.com</a><br>
>>> 5621 Arapahoe Ave, Suite A       Phone: <a href="tel:%28720%29%20974-1841" value="+17209741841">(720) 974-1841</a><br>
>>> Boulder, CO 80303                Fax:   <a href="tel:%28303%29%20448-7756" value="+13034487756">(303) 448-7756</a><br>
>><br>
><br>
<br>
</div></div></blockquote></div><br></div>