aboutsummaryrefslogtreecommitdiff
path: root/Makefile.devel
AgeCommit message (Collapse)Author
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
1999-09-21Added cvs update to release target.David Aspinall
1999-09-13Altered to use craro since scar now broken.David Aspinall
1999-09-13Added plastic to elisp dirs and cleanup backup files.David Aspinall
1999-09-13Made a release (ProofGeneral.spec, proof-site.el, download.phtml)David Aspinall
Makefile.devel: fixed fakerelease doc/Makefile: Don't attempt page rearrangement if dviutils not present
1999-08-27Typo (I think)David Aspinall
1999-08-27Added more macros to generalise MakefileDavid Aspinall
1999-08-24Fixed version variable name.David Aspinall
1999-08-24enabled isar/;Makarius Wenzel
1999-08-23Changes for 2.3 series pre-releases.David Aspinall
1999-08-19Removed .eps.gz file from distrib to make it much smallerDavid Aspinall
1999-08-17Updated for web pages, now only low-priority.David Aspinall
1999-07-22Added prereltag.txt and extra link for latest srpm.David Aspinall
1999-07-01Fix rpm building for 3.0.1 version of RPM.David Aspinall
1999-06-30topdir stuff broken, to be fixed.David Aspinall
1999-06-30Removed distinstall, doesn't work for temporary server.David Aspinall
1999-06-28Set CVSROOT for remote cvs.David Aspinall
1999-06-28Changed doc targets during buildDavid Aspinall
1999-06-28Remove temporary fileproofgen
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 17:23:00 +0000