diff options
Diffstat (limited to 'Doc/Makefile')
| -rw-r--r-- | Doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Doc/Makefile b/Doc/Makefile index e609518..b7f247c 100644 --- a/Doc/Makefile +++ b/Doc/Makefile @@ -59,8 +59,8 @@ DVIPS= dvips -f MAKEINDEX= makeindex PYTHON= python MAKEINFO= makeinfo -L2H= /ufs/guido/l2h/latex2html -L2HARGS= -address $$USER@`domainname` -dont_include myformat +L2H= latex2html +L2HARGS= -address $$USER@`domainname` -info "" # Destination directory for output of libwww target. PARTPARSE= $(PYTHON) ./partparse.pyc |