aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.devel
Commit message (Expand)AuthorAge
* Revert accidental commit by crrGravatar David Aspinall2002-03-21
* added hook: proof-before-fontify-output-hookGravatar Christophe Raffalli2002-03-21
* Remove latest-src-rpm linkGravatar David Aspinall2002-02-14
* Fixup copying of releasename linkGravatar David Aspinall2001-09-09
* Finished shift to 3.4Gravatar David Aspinall2001-09-09
* Update for 3.4preGravatar David Aspinall2001-09-09
* Put all in dist except pgkitGravatar David Aspinall2001-08-10
* Change DEVELDOWNLOAD to edit correct fileGravatar David Aspinall2001-05-08
* Forgot to make BUILD dir.Gravatar David Aspinall2001-05-08
* Fix cut and past tab errorGravatar David Aspinall2001-05-08
* rpm target: Clean out rpmtopdir, and make subdirs again. Get full path to ta...Gravatar David Aspinall2001-05-08
* Clean out NAME, force link.Gravatar David Aspinall2001-05-08
* Include a few files from etc in the distribution, esp .spec fileGravatar David Aspinall2001-05-08
* Dont make SRPM any more. Use rpm -tb to build binary package from tarballGravatar David Aspinall2001-05-08
* Name change af2 -> phoxGravatar David Aspinall2000-12-07
* Second part of moving to 3.3pre series.Gravatar David Aspinall2000-10-19
* Begin move to 3.3 series.Gravatar David Aspinall2000-10-18
* Warning about duplicate ChangeLog entriesGravatar David Aspinall2000-10-02
* Tweak to ChangeLog productionGravatar David Aspinall2000-10-02
* Remove ps and pdf for PG-adapting from distrib to redue size to normal propor...Gravatar David Aspinall2000-10-02
* Fix ChangeLog target so makes prefix properly. Revert to keeping uncompresse...Gravatar David Aspinall2000-09-29
* Add acl2 and twelf to elisp dirsGravatar David Aspinall2000-09-29
* ChangeLog is just last 1000 lines, instead of 11000 starting in 1996...Gravatar David Aspinall2000-09-29
* twelf and acl2 are in ordinary distGravatar David Aspinall2000-09-29
* phtml -> htmlGravatar David Aspinall2000-09-28
* proofgeneral email address for meGravatar David Aspinall2000-09-27
* Remove extra space preventing ChangeLog update.Gravatar David Aspinall2000-09-26
* Remove twelf from .tar.gzGravatar David Aspinall2000-09-25
* Add symlink PG -> PG-ver to main dist. Dont dereference symlinks when making ...Gravatar David Aspinall2000-09-21
* Changed ChangeLog target to use rcs2log directly. Added developer's details,...Gravatar David Aspinall2000-09-21
* Make ordinary dist before develdist, because dist clears build dir... whoops.Gravatar David Aspinall2000-09-12
* Make distclean rather than clean do the CVS pruning.Gravatar David Aspinall2000-06-06
* Make doc link to 3.1, not pre-release. Minor extra editing on new release.Gravatar David Aspinall2000-05-25
* Added autoloads target.Gravatar David Aspinall2000-05-09
* Force in .gz target.Gravatar David Aspinall2000-04-28
* Keep ChangeLog gzipped. Small saving on repo size.Gravatar David Aspinall2000-04-28
* Added warning about releasing from old branch.Gravatar David Aspinall2000-04-28
* Change order in release to make ChangeLog be updated before dist built.Gravatar David Aspinall2000-04-07
* Move to pre3.2 prerelease series.Gravatar David Aspinall2000-03-24
* Added zip file buildGravatar David Aspinall2000-03-23
* Added hol98 to distribution.Gravatar David Aspinall2000-03-13
* Add hol98 to elisp dirs.Gravatar David Aspinall2000-03-13
* Added checkin for second html file.Gravatar David Aspinall2000-03-08
* Missing semiGravatar David Aspinall2000-03-08
* Added edit for devel.phtml alsoGravatar David Aspinall2000-03-08
* New name for devel download page.Gravatar David Aspinall2000-02-15
* Updated for 3.1preGravatar David Aspinall1999-11-30
* Cannot have FULLVERSION in spec file, will break links, etc.Gravatar David Aspinall1999-11-30
* Edit spec file to get tar file name right.Gravatar David Aspinall1999-11-30
* Remove -b option from tag. Probably needs to be done by hand.Gravatar David Aspinall1999-11-30
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-20 17:49:56 +0000