admin/admin.el · c07659054603ef1d7ce4eaeb5b79b50131abf265 · emacs / emacs

Tweaks for www.gnu.org html versions of manuals · c0765905

Glenn Morris authored Mar 12, 2013

* 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.

c0765905

admin.el 24.5 KB

Replace admin.el