diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -89,7 +89,7 @@ perlscripts: rm -f .tmp) clean: - rm -f $(ELC) *~ + rm -f $(ELC) *~ */*~ .\#* */.\#* (cd doc; $(MAKE) clean) |
index : proof-general | ||
Emacs interface for proof assistants |
aboutsummaryrefslogtreecommitdiffhomepage |