diff options
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/GNUmakefile b/GNUmakefile index 5a7fe80..65f8b5f 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -214,6 +214,11 @@ dist: default info dvi tests tarfiles .PHONY: tarfiles tarfiles: $(tarfiles) +.PHONY: rcs-mark-alpha +dist: rcs-mark-alpha +rcs-mark-alpha: + rcs -sAlpha -Nmake-$(version) RCS/[!=]*,v + dist: local-inst .PHONY: local-inst local-inst: $(prog) |