diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-03-12 00:15:15 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-03-12 00:15:15 -0700 |
| commit | c07659054603ef1d7ce4eaeb5b79b50131abf265 (patch) | |
| tree | 6493dc5e0851d752437ae5a10132ff3a82a77e46 /admin | |
| parent | c69f46735f5bde557071785117eb0759829dc19c (diff) | |
| download | emacs-c07659054603ef1d7ce4eaeb5b79b50131abf265.tar.gz | |
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')
| -rw-r--r-- | admin/ChangeLog | 4 | ||||
| -rw-r--r-- | admin/admin.el | 2 |
2 files changed, 6 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 @@ +2013-03-12 Glenn Morris <rgm@gnu.org> + + * admin.el (manual-html-mono, manual-html-node): Add -DWWW_GNU_ORG. + 2013-03-11 Glenn Morris <rgm@gnu.org> * admin.el (make-manuals): Add emacs-lisp-intro and some more diff --git a/admin/admin.el b/admin/admin.el index 08d9039d4bc..ea08c0d1c74 100644 --- a/admin/admin.el +++ b/admin/admin.el @@ -268,6 +268,7 @@ This function also edits the HTML files so that they validate as HTML 4.01 Transitional, and pulls in the gnu.org stylesheet using the @import directive." (call-process "makeinfo" nil nil nil + "-D" "WWW_GNU_ORG" "-I" (expand-file-name "../emacs" (file-name-directory texi-file)) "-I" (expand-file-name "../misc" @@ -293,6 +294,7 @@ the @import directive." (unless (file-exists-p texi-file) (error "Manual file %s not found" texi-file)) (call-process "makeinfo" nil nil nil + "-D" "WWW_GNU_ORG" "-I" (expand-file-name "../emacs" (file-name-directory texi-file)) "-I" (expand-file-name "../misc" |