diff options
-rw-r--r-- | doc/api/ChangeLog | 4 | ||||
-rw-r--r-- | doc/api/Makefile | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/doc/api/ChangeLog b/doc/api/ChangeLog index 67c3b2f503..72706752cd 100644 --- a/doc/api/ChangeLog +++ b/doc/api/ChangeLog @@ -1,3 +1,7 @@ +2001-11-06 Ken Raeburn <raeburn@mit.edu> + + * Makefile (clean): Delete *.ilg. + 2001-06-22 Ken Raeburn <raeburn@mit.edu> * ccache.tex (krb5_cc_default): Fix "equivalent to" example code. diff --git a/doc/api/Makefile b/doc/api/Makefile index 49cb7dcf9b..72ad368e57 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 |