diff options
author | Martin Mares <mj@ucw.cz> | 2000-05-31 14:25:27 +0000 |
---|---|---|
committer | Martin Mares <mj@ucw.cz> | 2000-05-31 14:25:27 +0000 |
commit | 1885aa8ce33e6617d45dbc2f5ee2852bf5f72e88 (patch) | |
tree | b4bb83bbdf37013b0c1b49c47121b587645bdb36 /doc/Makefile | |
parent | fcdddff5f3f5c9f2a15377a9dd08f105a3b696a0 (diff) |
Clean LaTeX .aux and .toc files as well.
Diffstat (limited to 'doc/Makefile')
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 9346b7d7..1333693b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -36,5 +36,5 @@ prog.sgml: userdocs: bird.html bird.dvi bird.txt clean: - rm -f *.html *.tex *.dvi *.log *.ps *.txt + rm -f *.html *.tex *.dvi *.log *.ps *.txt *.aux *.toc rm -f prog.sgml |