diff options
Diffstat (limited to 'admin')
| -rw-r--r-- | admin/ChangeLog | 2 | ||||
| -rw-r--r-- | admin/admin.el | 3 |
2 files changed, 2 insertions, 3 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index f92fa8930b5..245c809ec81 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog | |||
| @@ -1,7 +1,7 @@ | |||
| 1 | 2013-08-27 Glenn Morris <rgm@gnu.org> | 1 | 2013-08-27 Glenn Morris <rgm@gnu.org> |
| 2 | 2 | ||
| 3 | * admin.el (manual-misc-manuals): Use INFO_COMMON rather than | 3 | * admin.el (manual-misc-manuals): Use INFO_COMMON rather than |
| 4 | INFO_TARGETS. | 4 | INFO_TARGETS. "faq" does not need special treatment any more. |
| 5 | 5 | ||
| 6 | 2013-08-15 Glenn Morris <rgm@gnu.org> | 6 | 2013-08-15 Glenn Morris <rgm@gnu.org> |
| 7 | 7 | ||
diff --git a/admin/admin.el b/admin/admin.el index 875db2948e5..f8ca8aec261 100644 --- a/admin/admin.el +++ b/admin/admin.el | |||
| @@ -289,9 +289,8 @@ Optional argument TYPE is type of output (nil means all)." | |||
| 289 | 289 | ||
| 290 | (defun manual-misc-html (name root html-node-dir html-mono-dir) | 290 | (defun manual-misc-html (name root html-node-dir html-mono-dir) |
| 291 | ;; Hack to deal with the cases where .texi creates a different .info. | 291 | ;; Hack to deal with the cases where .texi creates a different .info. |
| 292 | ;; Blech. TODO Why not just rename the .texi files? | 292 | ;; Blech. TODO Why not just rename the .texi (or .info) files? |
| 293 | (let* ((texiname (cond ((equal name "ccmode") "cc-mode") | 293 | (let* ((texiname (cond ((equal name "ccmode") "cc-mode") |
| 294 | ((equal name "efaq") "faq") | ||
| 295 | (t name))) | 294 | (t name))) |
| 296 | (texi (expand-file-name (format "doc/misc/%s.texi" texiname) root))) | 295 | (texi (expand-file-name (format "doc/misc/%s.texi" texiname) root))) |
| 297 | (manual-html-node texi (expand-file-name name html-node-dir)) | 296 | (manual-html-node texi (expand-file-name name html-node-dir)) |