aboutsummaryrefslogtreecommitdiffhomepage
path: root/doc
diff options
context:
space:
mode:
authorGravatar Hendrik Tews <hendrik@askra.de>2013-01-15 14:42:34 +0000
committerGravatar Hendrik Tews <hendrik@askra.de>2013-01-15 14:42:34 +0000
commitf9398ad0dc44972d745b6b3dab6fba36259e5eb0 (patch)
tree63d817a4844d8edb5a946f62db3145933f8f5e38 /doc
parente1c67a6cb5ba78af5faf43b87c1869de5f3161b9 (diff)
removal of backup files (*~) moved to make distclean
Diffstat (limited to 'doc')
-rw-r--r--doc/Makefile.doc2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile.doc b/doc/Makefile.doc
index 805a6292..87e1d1cb 100644
--- a/doc/Makefile.doc
+++ b/doc/Makefile.doc
@@ -90,13 +90,13 @@ info: $(DOCNAME).info
CLEANTARGS:=$(DOCNAME).cp $(DOCNAME).fn $(DOCNAME).vr $(DOCNAME).tp $(DOCNAME).ky $(DOCNAME).kys $(DOCNAME).pg $(DOCNAME).fns $(DOCNAME).vrs $(DOCNAME).cps $(DOCNAME).aux $(DOCNAME).log $(DOCNAME).cp $(DOCNAME).cp0 $(DOCNAME).toc
clean:
rm -f $(CLEANTARGS)
- rm -f *~
##
## distclean: Remove documentation targets
##
distclean: clean
rm -rf $(DOCNAME).info* $(DOCNAME).pdf $(DOCNAME)
+ rm -f *~
##
## texi: update magic comments in texi from docstrings in code.