blob: a691e37812ccd14006c55aa9b31c4a91749b45b2 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
## We substitute the name of the texinfo file here because otherwise
## too many things could be removed. In particular the ".log"
## extension might be used in other contexts by the user
mostlyclean-info:
rm -f @TEXI@.aux @TEXI@.cp @TEXI@.cps @TEXI@.dvi \
@TEXI@.fn @TEXI@.fns @TEXI@.ky @TEXI@.log \
@TEXI@.pg @TEXI@.toc @TEXI@.tp @TEXI@.vr @TEXI@.op
clean-info:
distclean-info:
maintainer-clean-info:
rm -f $(INFOS)
|
