compile docu three times, issue #391

Author: u-fischer

build.lua

@@ -131,11 +131,13 @@ typesetfiles = {"hyperref-doc.tex",
                 "hyperref-patches.dtx"
                 }
 
+
 local function type_manual()
   print("Special Typesetting hyperref-doc")
   local file = jobname("doc/hyperref-doc.tex")
   errorlevel = (runcmd("lualatex "..file, typesetdir, {"TEXINPUTS","LUAINPUTS"})
   + runcmd("lualatex "..file, typesetdir, {"TEXINPUTS","LUAINPUTS"})
+  + runcmd("lualatex "..file, typesetdir, {"TEXINPUTS","LUAINPUTS"})
   + runcmd("htlatex "..file, typesetdir, {"TEXINPUTS","LUAINPUTS"})
   + cp("*.html", typesetdir, docfiledir) + cp("*.css", typesetdir, docfiledir))
   + cp("*.pdf", typesetdir, docfiledir)