Bug#128679: ocamlweb: hyperref

[Dieter Schuster <didischuster@arcor.de>]

I tested it with the ocamlweb sources.

With 

ocamlweb -p "\usepackage{hyperref}" *.ml* > test.tex
latex test.tex
latex test.tex 

there ist no problem. But in the noweb mode there is a problem

ocamlweb --noweb -p "\usepackage{hyperref}" *.ml* > test.tex
latex test.tex

so far ist works. But at the second run there is an error:
latex test.tex

[...]
OcamlWeb file Yacc_syntax.mli
[89] [90]
! Use of \@topnewpage doesn't match its definition.
\@ifnextchar ... \reserved@d =#1\def \reserved@a {
                                                  #2}\def \reserved@b {#3}\f...
l.8337 ...mll:5018}{}{\ref{yacc_lexer.mll:5018}}{}
                                                  
? 

	Dieter Schuster

-- 
GnuPG Key-ID: 1024D/5EE6EF26, bitte verschlüsselte E-Post; keine HTML-Post.

Keine Logik-/Softwarepatente. Pas de Brevets Logique/Logiciels. 
No Logic/Software Patents.