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 | |
| parent | fcdddff5f3f5c9f2a15377a9dd08f105a3b696a0 (diff) | |
Clean LaTeX .aux and .toc files as well.
| -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 |