Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 1c8b9e4

Browse files
committed
Clean out *.texi and *.info* as well for "make clean".
1 parent 7779619 commit 1c8b9e4

1 file changed

Lines changed: 1 addition & 0 deletions

File tree

Doc/Makefile

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -249,6 +249,7 @@ tarhtml:
249249
# - useful results: .dvi, .ps, .texi, .info
250250
clean: l2hclean
251251
rm -f @* *~ *.aux *.idx *.ilg *.ind *.log *.toc *.blg *.bbl *.pyc
252+
rm -f *.texi *.info*
252253
rm -f *.bak *.orig
253254

254255
l2hclean:

0 commit comments

Comments
 (0)