diff options
| -rw-r--r-- | Doc/html/Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Doc/html/Makefile b/Doc/html/Makefile index 5973154..c92788a 100644 --- a/Doc/html/Makefile +++ b/Doc/html/Makefile @@ -29,6 +29,9 @@ l2htut: tarhtml: $(MAKE) srcdir=.. VPATH=.. -f ../Makefile tarhtml +webcheck: + $(MAKE) srcdir=.. VPATH=.. -f ../Makefile webcheck + icons: mkdir icons cp ../icons/*.gif icons/ |