src/docs/tex/manual/developers.tex there is also a make file that generates the PDF.
Barry The document should provide information about the location of its source. > On Jan 25, 2018, at 2:19 AM, Vaclav Hapla <vaclav.ha...@erdw.ethz.ch> wrote: > > > >> 24. 1. 2018 v 22:55, Scott Kruger <kru...@txcorp.com>: >> >> >> >> On 1/24/18 6:50 AM, Vaclav Hapla wrote: >>>> 24. 1. 2018 v 14:45, Vaclav Hapla <vaclav.ha...@erdw.ethz.ch>: >>>> >>>> How should I specify output files for {{...}} with different outputs, >>>> please? >>> Oh I see, {{...}separateoutput} is meant literally. But in that case >>> typesetting it in italics is confusing. >> >> 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. > > Where are this manual's latex sources? > > Vaclav > >> >> Scott >> >>> Vaclav >>>> >>>> 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. >>>> >>>> BTW in 7.1.2, I think there should be the space instead of the comma in >>>> the listing. >>>> >>>> Thanks >>>> >>>> Vaclav >> >> -- >> Tech-X Corporation kru...@txcorp.com >> 5621 Arapahoe Ave, Suite A Phone: (720) 974-1841 >> Boulder, CO 80303 Fax: (303) 448-7756 >