Tweaks for www.gnu.org html versions of manuals
authorGlenn Morris <rgm@gnu.org>
Tue, 12 Mar 2013 07:15:15 +0000 (00:15 -0700)
committerGlenn Morris <rgm@gnu.org>
Tue, 12 Mar 2013 07:15:15 +0000 (00:15 -0700)
commitc07659054603ef1d7ce4eaeb5b79b50131abf265
tree6493dc5e0851d752437ae5a10132ff3a82a77e46
parentc69f46735f5bde557071785117eb0759829dc19c
Tweaks for www.gnu.org html versions of manuals

* admin/admin.el (manual-html-mono, manual-html-node): Add -DWWW_GNU_ORG.

* doc/emacs/emacs.texi (Top): Add some stuff specific to www.gnu.org.

* doc/lispintro/emacs-lisp-intro.texi: Add some stuff specific to www.gnu.org.

* doc/lispref/elisp.texi: Add some stuff specific to www.gnu.org.
admin/ChangeLog
admin/admin.el
doc/emacs/ChangeLog
doc/emacs/emacs.texi
doc/lispintro/ChangeLog
doc/lispintro/emacs-lisp-intro.texi
doc/lispref/ChangeLog
doc/lispref/elisp.texi