diff options
Diffstat (limited to 'src/hyper/Makefile.in')
-rw-r--r-- | src/hyper/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/hyper/Makefile.in b/src/hyper/Makefile.in index a09184c9..83ca718f 100644 --- a/src/hyper/Makefile.in +++ b/src/hyper/Makefile.in @@ -117,6 +117,7 @@ clean-local: mostclean-local -rm -f $(BINFILES) -rm -rf $(HYPER)/pages -rm -f $(SCRIPTS) + -rm -f stamp distclean-local: clean-local |