diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/html/Makefile | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Doc/html/Makefile b/Doc/html/Makefile index c92788a..3b0aa05 100644 --- a/Doc/html/Makefile +++ b/Doc/html/Makefile @@ -26,9 +26,6 @@ l2href: l2htut: $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile l2htut -tarhtml: - $(MAKE) srcdir=.. VPATH=.. -f ../Makefile tarhtml - webcheck: $(MAKE) srcdir=.. VPATH=.. -f ../Makefile webcheck |