diff options
| -rw-r--r-- | GNUmakefile | 11 |
1 files changed, 7 insertions, 4 deletions
diff --git a/GNUmakefile b/GNUmakefile index 65f8b5f..58fe126 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -214,10 +214,13 @@ 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 +ifndef dist-flavor +dist-flavor = alpha +endif +.PHONY: rcs-mark-alpha rcs-mark-beta +dist: rcs-mark-$(dist-flavor) +rcs-mark-alpha:;rcs -sAlpha -Nmake-$(version) RCS/[!=]*,v +rcs-mark-beta:;rcs -sBeta -Nmake-$(version) RCS/[!=]*,v dist: local-inst .PHONY: local-inst |