diff options
Diffstat (limited to 'Doc/html/Makefile')
| -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 9418d40..58989bf 100644 --- a/Doc/html/Makefile +++ b/Doc/html/Makefile @@ -29,9 +29,6 @@ l2href: l2htut: $(MAKE) srcdir=.. VPATH=.. TEXINPUTS=$(TEXINPUTS) -f ../Makefile l2htut -webcheck: - $(MAKE) srcdir=.. VPATH=.. -f ../Makefile webcheck - icons: mkdir icons cp ../icons/*.gif icons/ |