aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Collapse)Author
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
1999-11-22Added link during distdocs build to front page imageDavid Aspinall
1999-11-22Removed spurious etags target (tags already works better)David Aspinall
1999-11-17Remove Makefile.xemacs from distrib.David Aspinall
1999-11-17Split download page into three parts.David Aspinall
1999-11-15-f to make rm quiet if no args.David Aspinall
1999-11-14devel.clean : use find to clean all subdirs.David Aspinall
1999-11-14Add demoisa dir to makefiles.David Aspinall
1999-11-13clean: Remove autosaves and cvs server temporary files.David Aspinall
1999-10-25Added ProofGeneral.texi to tags target.David Aspinall
1999-10-07Fixed PRERELEASE_PREFIX.David Aspinall
1999-10-06In case Makefile.devel changes, update in make process is not good enough.David Aspinall
1999-10-06Next version will be 3.0 cvs updateDavid Aspinall
1999-09-30Automatically updated ChangeLog when making devel releaseDavid Aspinall
generated by cgit v1.2.3 (git 2.25.1) at 2026-04-25 12:51:32 +0000