aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Collapse)Author
2000-10-19Second part of moving to 3.3pre series.David Aspinall
2000-10-18Begin move to 3.3 series.David Aspinall
2000-10-02Warning about duplicate ChangeLog entriesDavid Aspinall
2000-10-02Tweak to ChangeLog productionDavid Aspinall
2000-10-02Remove ps and pdf for PG-adapting from distrib to redue size to normal ↵David Aspinall
proportions.
2000-09-29Fix ChangeLog target so makes prefix properly. Revert to keeping ↵David Aspinall
uncompressed file in repo.
2000-09-29Add acl2 and twelf to elisp dirsDavid Aspinall
2000-09-29ChangeLog is just last 1000 lines, instead of 11000 starting in 1996...David Aspinall
2000-09-29twelf and acl2 are in ordinary distDavid Aspinall
2000-09-28phtml -> htmlDavid Aspinall
2000-09-27proofgeneral email address for meDavid Aspinall
2000-09-26Remove extra space preventing ChangeLog update.David Aspinall
2000-09-25Remove twelf from .tar.gzDavid Aspinall
2000-09-21Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ↵David Aspinall
tars (why was it done?).
2000-09-21Changed ChangeLog target to use rcs2log directly. Added developer's ↵David Aspinall
details, correct emails.
2000-09-12Make ordinary dist before develdist, because dist clears build dir... whoops.David Aspinall
2000-06-06Make distclean rather than clean do the CVS pruning.David Aspinall
2000-05-25Make doc link to 3.1, not pre-release. Minor extra editing on new release.David Aspinall
2000-05-09Added autoloads target.David Aspinall
2000-04-28Force in .gz target.David Aspinall
2000-04-28Keep ChangeLog gzipped. Small saving on repo size.David Aspinall
2000-04-28Added warning about releasing from old branch.David Aspinall
2000-04-07Change order in release to make ChangeLog be updated before dist built.David Aspinall
2000-03-24Move to pre3.2 prerelease series.David Aspinall
2000-03-23Added zip file buildDavid Aspinall
2000-03-13Added hol98 to distribution.David Aspinall
2000-03-13Add hol98 to elisp dirs.David Aspinall
2000-03-08Added checkin for second html file.David Aspinall
2000-03-08Missing semiDavid Aspinall
2000-03-08Added edit for devel.phtml alsoDavid Aspinall
2000-02-15New name for devel download page.David Aspinall
1999-11-30Updated for 3.1preDavid Aspinall
1999-11-30Cannot have FULLVERSION in spec file, will break links, etc.David Aspinall
1999-11-30Edit spec file to get tar file name right.David Aspinall
1999-11-30Remove -b option from tag. Probably needs to be done by hand.David Aspinall
1999-11-30Added -b option to tag.David Aspinall
1999-11-30Added -b option to tag.David Aspinall
1999-11-30Added FULLVERSION mechanism, to tag proof-general-release.David Aspinall
1999-11-26Added devel.links target to make a couple of handy links.David Aspinall
1999-11-25Fix to not distribute linked file.David Aspinall
1999-11-25Add portrait file to IGNOREDFILES.David Aspinall
1999-11-25Switch CVS remote access to faster machine, scar.David Aspinall
1999-11-25Fix IGNOREDFILES to be a list of patterns to ignore, rather than files.David Aspinall
1999-11-25Fix link to image file.David Aspinall
1999-11-25Added date stamp to version variable in full releases.David Aspinall
1999-11-23Include pdf doc in distribution area, though.David Aspinall
1999-11-23Removed ps.gz from distrib.David Aspinall
1999-11-22Instead, remove doc/ from top-level of distdir.David Aspinall
1999-11-22*Do* deref links again when copying doc.David Aspinall
1999-11-22Don't deref links when copying doc, avoid error during export.David Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 13:19:18 +0000