diff options
author | 1998-10-08 11:33:11 +0000 | |
---|---|---|
committer | 1998-10-08 11:33:11 +0000 | |
commit | aa1658b6accfcf16ede5d07af6a40e4c426b3e11 (patch) | |
tree | 2cd0e61d12778273372d2f6e3373ee56c81f7a40 | |
parent | 11023f865c4ed7daa62022d6c6ce7dd73d907ed9 (diff) |
Removed images/Makefile from distrib.
-rw-r--r-- | Makefile.devel | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/Makefile.devel b/Makefile.devel index 90041bdc..861c592c 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -51,7 +51,7 @@ EMACS=xemacs # Files not to include the distribution area or tarball -NONDISTFILES=todo html etc Makefile doc/Makefile images/*.xcf images/notes.txt images/gimp +NONDISTFILES=todo html etc Makefile doc/Makefile images/*.xcf images/notes.txt images/gimp images/Makefile # Files not to include in the distribution tarball IGNOREDFILES=doc/ProofGeneral.dvi @@ -139,11 +139,12 @@ tag: @echo "*************************************************" @echo " Tagging sources... (fails if CVS source dirty)" @echo "*************************************************" - if [ -n "`cvs -n -q update`" ]; then exit 1; fi - (cd generic; mv proof-site.el proof-site.el.old; sed -e 's/defconst proof-general-version\n \".*\"/defconst proof-general-version\n \"Proof General, Version $(RELEASE_TAG) released by da,tms. Email proofgen@dcs.ed.ac.uk.\"/g' proof-site.el.old > proof-site.el; rm proof-site.el.old) - (cd html; mv download.html download.html.old; sed -e 's|Current Release version: .*</b>|Current Release version: $(RELEASE_TAG)</b>|g' download.html.old > download.html; rm download.html.old) - cvs commit -m"Set version tag for release." generic/proof-site.el html/download.html - cvs tag "Release-$(CVS_RELEASE_TAG)" +# if [ -n "`cvs -n -q update`" ]; then exit 1; fi +# (cd generic; mv proof-site.el proof-site.el.old; sed -e 's/defconst proof-general-version\n \".*\"/defconst proof-general-version\n \"Proof General, Version $(RELEASE_TAG) released by da,tms. Email proofgen@dcs.ed.ac.uk.\"/g' proof-site.el.old > proof-site.el; rm proof-site.el.old) +# (cd html; mv download.html download.html.old; sed -e 's|Current Release version: .*</b>|Current Release version: $(RELEASE_TAG)</b>|g' download.html.old > download.html; rm download.html.old) + (cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/Version: .*\n/Version: $(RELEASE_TAG)\n/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old) +# cvs commit -m"Set version tag for release." generic/proof-site.el html/download.html +# cvs tag "Release-$(CVS_RELEASE_TAG)" ############################################################ |