-
Fred Drake yazdı
not doing the \label{foo} --> foo.html transformation (--numeric was specified on the command line), still look to see if there is an "About this document..." node and copy that to "about.html", since the page footers use that as the target.
cfef0096