index
:
proof-general
master
Emacs plugins for proof management systems
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
doc
/
Makefile.doc
Age
Commit message (
Expand
)
Author
2012-01-03
Remove unused variable
David Aspinall
2011-11-09
Add web style sheet to doc output (work in progress)
David Aspinall
2011-05-05
Fix emails
David Aspinall
2011-05-05
Clean up and remove obsolete dvi targets.
David Aspinall
2011-04-26
Update magic, tweak Makefile to make sure magic uses source .els
David Aspinall
2010-08-23
Remove extra nav bars in html. Clean html subdirs on distclean
David Aspinall
2010-08-23
-prefix -> --output
David Aspinall
2010-08-23
texi2html: add -prefix to give same as old behaviour (sub-directory).
David Aspinall
2009-09-21
Fix clean targets
David Aspinall
2009-08-20
Don't make link to index.html
David Aspinall
2008-01-17
Not batch for debug
David Aspinall
2008-01-17
Fix typo.
David Aspinall
2008-01-17
Updated.
David Aspinall
2007-12-14
Prevent magic during dist
David Aspinall
2007-06-19
Revert html target to not include dir (although it builds in dir)
David Aspinall
2007-06-19
Account for new default behaviour of texi2html, using subdir for manuals
David Aspinall
2007-06-19
Fix comment
David Aspinall
2007-05-10
Path for docstring-magic
David Aspinall
2007-05-10
Fix library name
David Aspinall
2007-03-03
Make pdf instead of dvi, and use emacs instead of xemacs (which bombs out)
David Aspinall
2004-05-06
Add EMACSFLAGS so can run with EMACS=emacs
David Aspinall
2004-02-29
Add man page, remove ps file from distrib.
David Aspinall
2004-02-29
Add -no-site-file to batch xemacs.
David Aspinall
2002-08-31
Add -q to emacs
David Aspinall
2001-05-01
Try to disable image for now
David Aspinall
2001-03-20
Use PS fonts in PS file
David Aspinall
2000-10-02
Fix recursive make
David Aspinall
2000-10-02
Attempt to force image build
David Aspinall
2000-10-02
Attempt to force image build
David Aspinall
2000-08-28
Split manual into two parts.
David Aspinall