aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Expand)Author
2002-03-21Revert accidental commit by crrDavid Aspinall
2002-03-21added hook: proof-before-fontify-output-hookChristophe Raffalli
2002-02-14Remove latest-src-rpm linkDavid Aspinall
2001-09-09Fixup copying of releasename linkDavid Aspinall
2001-09-09Finished shift to 3.4David Aspinall
2001-09-09Update for 3.4preDavid Aspinall
2001-08-10Put all in dist except pgkitDavid Aspinall
2001-05-08Change DEVELDOWNLOAD to edit correct fileDavid Aspinall
2001-05-08Forgot to make BUILD dir.David Aspinall
2001-05-08Fix cut and past tab errorDavid Aspinall
2001-05-08rpm target: Clean out rpmtopdir, and make subdirs again. Get full path to ta...David Aspinall
2001-05-08Clean out NAME, force link.David Aspinall
2001-05-08Include a few files from etc in the distribution, esp .spec fileDavid Aspinall
2001-05-08Dont make SRPM any more. Use rpm -tb to build binary package from tarballDavid Aspinall
2000-12-07Name change af2 -> phoxDavid Aspinall
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 propor...David Aspinall
2000-09-29Fix ChangeLog target so makes prefix properly. Revert to keeping uncompresse...David Aspinall
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
2000-09-21Changed ChangeLog target to use rcs2log directly. Added developer's details,...David Aspinall
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-04 15:16:40 +0000