diff --git a/makefile b/makefile index 1274f3e..76c65b5 100644 --- a/makefile +++ b/makefile @@ -148,8 +148,8 @@ # Housekeeping ##### -clean: +clean: FORCE @rm -rf ${PROGNAME}.txt CHANGELOG.txt *~ *.1 *.1.gz *.aux *.core *.dvi *.gz *html *.latex *.log *.out *.pdf *.ps tmpfile *.toc -version: +version: FORCE @echo ${VERSION}