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 or whether there is a better solution. To see how I do it look at texpdf in my compendious tarfile: http://rbjones.com/rbjpub/pp/doc/rbj.src.tgz RBJ _______________________________________________ Proofpower mailing list [email protected] http://lemma-one.com/mailman/listinfo/proofpower_lemma-one.com
