Re: [ProofPower] Generating PDF files with texdvi and docdvi

2010-04-14 Thread Rob Arthan
On 14/04/2010 17:03, Roger Bishop Jones wrote: On Wednesday 14 Apr 2010 16:07, Rob Arthan wrote: Can you test texpdf on wrk066 from maths_egs? makeindex produces some garbled entries resulting in LaTeX erros when I try running it by hand. No, doesn't work. ! Extra }, or forgotte

Re: [ProofPower] Generating PDF files with texdvi and docdvi

2010-04-14 Thread Roger Bishop Jones
On Wednesday 14 Apr 2010 16:07, Rob Arthan wrote: > Can you test texpdf on wrk066 from maths_egs? makeindex > produces some garbled entries resulting in LaTeX erros > when I try running it by hand. No, doesn't work. ! Extra }, or forgotten $. ...\mathgroup \symAMSb \relax R\egroup

Re: [ProofPower] Generating PDF files with texdvi and docdvi

2010-04-14 Thread Roger Bishop Jones
I ran docdvi on one of my files and it does generate PDF but it does not get the index right. So I'm putting this to Rob as an issue to be addressed somehow. I have a hack which makes hyperlinked indexes work, and the question for Rob is whether this is something which he would care to adopt

Re: [ProofPower] Generating PDF files with texdvi and docdvi

2010-04-14 Thread Rob Arthan
Roger, On 14/04/2010 15:12, Roger Bishop Jones wrote: On Wednesday 14 Apr 2010 13:23, Phil Clayton wrote: You can actually get docdvi and texdvi to generate PDF files straight up if you add \RequirePackage[pdftex,...]{hyperref} in the preamble (where ... represents other options).

Re: [ProofPower] Generating PDF files with texdvi and docdvi

2010-04-14 Thread Phil Clayton
Roger Bishop Jones wrote: On Wednesday 14 Apr 2010 13:23, Phil Clayton wrote: You can actually get docdvi and texdvi to generate PDF files straight up if you add \RequirePackage[pdftex,...]{hyperref} in the preamble (where ... represents other options). See attached example. This is gene

Re: [ProofPower] Generating PDF files with texdvi and docdvi

2010-04-14 Thread Roger Bishop Jones
On Wednesday 14 Apr 2010 13:23, Phil Clayton wrote: > You can actually get docdvi and texdvi to generate PDF > files straight up if you add >\RequirePackage[pdftex,...]{hyperref} > in the preamble (where ... represents other options). > See attached example. This is generally useful anyway

[ProofPower] Generating PDF files with texdvi and docdvi

2010-04-14 Thread Phil Clayton
Roger, [Subject changed for the mailing list.] Roger Bishop Jones wrote: However I actually have a small problem which I don't know how to solve without a patch. All of my stuff depends upon the use of docpdf and texpdf for documentation. I could put "./docpdf" in the makefile to invoke the f