diff options
Diffstat (limited to 'doc/api/Makefile')
| -rw-r--r-- | doc/api/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/api/Makefile b/doc/api/Makefile index 49cb7dcf9..72ad368e5 100644 --- a/doc/api/Makefile +++ b/doc/api/Makefile @@ -16,7 +16,7 @@ libdes.dvi: $(DESTEX) $(STYLES) library.ps: library.dvi clean: - rm -f *.toc *.log *.idx *.ind *.aux lib1.stamp + rm -f *.toc *.log *.idx *.ind *.aux *.ilg lib1.stamp really-clean: clean rm -f *.dvi *.ps |