aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Expand)AuthorAge
* Added untag target for rebuilding on same day.Gravatar David Aspinall1998-10-08
* Changed 'ln -sf' to 'rm ; ln' because link got put into directory.Gravatar David Aspinall1998-10-08
* Added fixup to specfile because dcs.ed has old RPM installed.Gravatar David Aspinall1998-10-08
* Now edits full version of name of release in download.htmlGravatar David Aspinall1998-10-08
* Fixed typo.Gravatar David Aspinall1998-10-08
* Added auto checking for Proofgeneral.spec.Gravatar David Aspinall1998-10-08
* Removed hyphen from prerelease name.Gravatar David Aspinall1998-10-08
* Made full prerelease name be name of tar file and RPM file.Gravatar David Aspinall1998-10-08
* Removed images/Makefile from distrib.Gravatar David Aspinall1998-10-08
* Disabeled remote releaseGravatar David Aspinall1998-10-07
* Removed ssh.dcs.ed.ac.uk from remote release.Gravatar David Aspinall1998-10-07
* Added cvsclean backGravatar David Aspinall1998-10-07
* Added automatic editing of download.htmlGravatar David Aspinall1998-10-02
* Updated maintainer tags to remove lego email address.Gravatar David Aspinall1998-10-01
* Removed top-level "dist" directory from RELEASEDIR.Gravatar David Aspinall1998-10-01
* Removed xcf files and image notes from distrib.Gravatar David Aspinall1998-09-24
* Added RPM targetsGravatar David Aspinall1998-09-24
* Fine tuning.Gravatar David Aspinall1998-09-24
* Removed Makefiles from distribution.Gravatar David Aspinall1998-09-24
* New repository nameGravatar David Aspinall1998-09-24
* Removed more references to ~lego.Gravatar David Aspinall1998-09-24
* Adjusted directories to /home/proofgenGravatar David Aspinall1998-09-24
* Added FORCE dependency for docs.Gravatar David Aspinall1998-09-23
* Added docs to release and remoterelease target.Gravatar David Aspinall1998-09-17
* Added toolbar todos discussed at business lunch with tmsGravatar David Aspinall1998-09-14
* Added final message to make release.Gravatar David Aspinall1998-09-10
* Bug in make release.Gravatar David Aspinall1998-09-10
* Added back check for clean source.Gravatar David Aspinall1998-09-10
* Added tag, dist, release targets.Gravatar David Aspinall1998-09-10
* Added Id to headers.Gravatar David Aspinall1998-09-09
* Added todos for toolbar.Gravatar David Aspinall1998-09-08
* Added make item to build ChangeLog automatically, removed from repositoryGravatar David Aspinall1998-09-08
* Added note of what to do here.Gravatar David Aspinall1998-09-03
* *** empty log message ***Gravatar Thomas Kleymann1998-08-07