diff options
| author | Glenn Morris | 2013-03-12 00:15:15 -0700 |
|---|---|---|
| committer | Glenn Morris | 2013-03-12 00:15:15 -0700 |
| commit | c07659054603ef1d7ce4eaeb5b79b50131abf265 (patch) | |
| tree | 6493dc5e0851d752437ae5a10132ff3a82a77e46 /admin/ChangeLog | |
| parent | c69f46735f5bde557071785117eb0759829dc19c (diff) | |
| download | emacs-c07659054603ef1d7ce4eaeb5b79b50131abf265.tar.gz emacs-c07659054603ef1d7ce4eaeb5b79b50131abf265.zip | |
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.
Diffstat (limited to 'admin/ChangeLog')
| -rw-r--r-- | admin/ChangeLog | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index 6c9ed389528..bf37688c337 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,3 +1,7 @@ | |||
| 1 | 2013-03-12 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * admin.el (manual-html-mono, manual-html-node): Add -DWWW_GNU_ORG. | ||
| 4 | |||
| 1 | 2013-03-11 Glenn Morris <rgm@gnu.org> | 5 | 2013-03-11 Glenn Morris <rgm@gnu.org> |
| 2 | 6 | ||
| 3 | * admin.el (make-manuals): Add emacs-lisp-intro and some more | 7 | * admin.el (make-manuals): Add emacs-lisp-intro and some more |