aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Expand)Author
1998-10-14Added word new to release messageDavid Aspinall
1998-10-14Added developer's distribution, link to master todo list, images targetDavid Aspinall
1998-10-13Added cleanup after release.David Aspinall
1998-10-12Notes about things to put in docs.David Aspinall
1998-10-12Fixed broken taggingDavid Aspinall
1998-10-08Added untag target for rebuilding on same day.David Aspinall
1998-10-08Changed 'ln -sf' to 'rm ; ln' because link got put into directory.David Aspinall
1998-10-08Added fixup to specfile because dcs.ed has old RPM installed.David Aspinall
1998-10-08Now edits full version of name of release in download.htmlDavid Aspinall
1998-10-08Fixed typo.David Aspinall
1998-10-08Added auto checking for Proofgeneral.spec.David Aspinall
1998-10-08Removed hyphen from prerelease name.David Aspinall
1998-10-08Made full prerelease name be name of tar file and RPM file.David Aspinall
1998-10-08Removed images/Makefile from distrib.David Aspinall
1998-10-07Disabeled remote releaseDavid Aspinall
1998-10-07Removed ssh.dcs.ed.ac.uk from remote release.David Aspinall
1998-10-07Added cvsclean backDavid Aspinall
1998-10-02Added automatic editing of download.htmlDavid Aspinall
1998-10-01Updated maintainer tags to remove lego email address.David Aspinall
1998-10-01Removed top-level "dist" directory from RELEASEDIR.David Aspinall
1998-09-24Removed xcf files and image notes from distrib.David Aspinall
1998-09-24Added RPM targetsDavid Aspinall
1998-09-24Fine tuning.David Aspinall
1998-09-24Removed Makefiles from distribution.David Aspinall
1998-09-24New repository nameDavid Aspinall
1998-09-24Removed more references to ~lego.David Aspinall
1998-09-24Adjusted directories to /home/proofgenDavid Aspinall
1998-09-23Added FORCE dependency for docs.David Aspinall
1998-09-17Added docs to release and remoterelease target.David Aspinall
1998-09-14Added toolbar todos discussed at business lunch with tmsDavid Aspinall
1998-09-10Added final message to make release.David Aspinall
1998-09-10Bug in make release.David Aspinall
1998-09-10Added back check for clean source.David Aspinall
1998-09-10Added tag, dist, release targets.David Aspinall
1998-09-09Added Id to headers.David Aspinall
1998-09-08Added todos for toolbar.David Aspinall
1998-09-08Added make item to build ChangeLog automatically, removed from repositoryDavid Aspinall
1998-09-03Added note of what to do here.David Aspinall
1998-08-07*** empty log message ***Thomas Kleymann
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:18:13 +0000