diff options
| author | David Aspinall | 2004-02-08 17:52:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-02-08 17:52:51 +0000 |
| commit | 96e9789331e275c5021320069c193544a4177004 (patch) | |
| tree | c6d6a7580a5cc62b849d0184a2d2b6b3275917ee | |
| parent | 77266b7620c7322e3106c042ee2a2519e206974b (diff) | |
Add logupdate target (still not part of default build process)
| -rw-r--r-- | Makefile.devel | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/Makefile.devel b/Makefile.devel index c60500b1..fec1c129 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -173,7 +173,7 @@ NONDISTFILES=.cvsignore */.cvsignore Makefile.devel Makefile.xemacs doc/notes.tx # NB: these are *patterns* to exclude rather than files! # I would rather have files themselves to exclude, but # seems to be no way. -IGNOREDFILES=ProofGeneral*/TAGS ProofGeneral*/Makefile.devel ProofGeneral*/todo* ProofGeneral*/bugs ProofGeneral*/ChangeLog ProofGeneral*/doc/ProofGeneral.dvi ProofGeneral*/doc/ProofGeneral.ps.gz ProofGeneral*/doc/ProofGeneral.pdf ProofGeneral*/doc/PG-adapting.ps.gz ProofGeneral*/doc/PG-adapting.pdf ProofGeneral/*/todo etc/TESTS *.cvsignore */*.cvsignore +IGNOREDFILES=ProofGeneral*/TAGS ProofGeneral*/Makefile.devel ProofGeneral*/todo* ProofGeneral*/bugs ProofGeneral*/ChangeLog* ProofGeneral*/doc/ProofGeneral.dvi ProofGeneral*/doc/ProofGeneral.ps.gz ProofGeneral*/doc/ProofGeneral.pdf ProofGeneral*/doc/PG-adapting.ps.gz ProofGeneral*/doc/PG-adapting.pdf ProofGeneral/*/todo etc/TESTS *.cvsignore */*.cvsignore # Temporary directory to to build a distribution in DISTBUILDIR = /tmp/ProofGeneralRelease @@ -247,9 +247,12 @@ tags: $(EL) ChangeLog: FORCE rcs2log -h "dcs.ed.ac.uk" $(DEVELOPERS) -i 4 | sed 's|/home/proofgen/src/ProofGeneral/||g' > ChangeLog.prefix if [ -f ChangeLog ]; then mv ChangeLog ChangeLog.old; else echo > ChangeLog.old; fi - cat ChangeLog.prefix ChangeLog.old > ChangeLog + cat ChangeLog.prefix ChangeLog.old | sed 's|/disk/cvs/proofgen/ProofGeneral/||g' > ChangeLog rm ChangeLog.prefix ChangeLog.old +logupdate: ChangeLog.gz + cvs commit -m"Updated" ChangeLog.gz + ############################################################ # # Clean up intermediate files @@ -504,7 +507,7 @@ fakereleaseall: ############################################################ ## ## releaseall: -## Do everything! +## Do everything! (EXCEPT: ChangeLog.gz update) ## releaseall: release rpmrelease releaseclean golive |