aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Expand)AuthorAge
* Removed duplicate distclean targetGravatar David Aspinall1998-11-02
* o added support for byte-compilationGravatar Thomas Kleymann1998-11-01
* implemented new buffer model. The goals buffer is now exclusivelyGravatar Thomas Kleymann1998-10-30
* Added install to distall targetGravatar David Aspinall1998-10-29
* Added distall targetGravatar David Aspinall1998-10-29
* todo file was specifically excluded from distribution areaGravatar David Aspinall1998-10-29
* Added note about what to do if releaseall failsGravatar David Aspinall1998-10-29
* Added tags targetGravatar David Aspinall1998-10-29
* Removed junk from cvs mergeGravatar David Aspinall1998-10-27
* Fixup repository messGravatar David Aspinall1998-10-27
* Renamed fileGravatar David Aspinall1998-10-27
* fixed a bug in distinstallGravatar Thomas Kleymann1998-10-22
* modified local installation procedureGravatar Thomas Kleymann1998-10-21
* Added tar variable. Use make TAR=gnutar <args> on local Suns.Gravatar David Aspinall1998-10-20
* Changed dcsinstall into distinstall. Added comments.Gravatar David Aspinall1998-10-20
* dcsinstall copies from DISTBUILDIR instead for local only releaseGravatar David Aspinall1998-10-20
* Added dcsinstall target.Gravatar David Aspinall1998-10-20
* Added word new to release messageGravatar David Aspinall1998-10-14
* Added developer's distribution, link to master todo list, images targetGravatar David Aspinall1998-10-14
* Added cleanup after release.Gravatar David Aspinall1998-10-13
* Notes about things to put in docs.Gravatar David Aspinall1998-10-12
* Fixed broken taggingGravatar David Aspinall1998-10-12
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-01 23:10:04 +0000