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 plugins for proof management systems |
| aboutsummaryrefslogtreecommitdiff |