diff options
Diffstat (limited to 'admin/admin.el')
| -rw-r--r-- | admin/admin.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/admin/admin.el b/admin/admin.el index 927f68e978a..9c0015fc413 100644 --- a/admin/admin.el +++ b/admin/admin.el | |||
| @@ -283,7 +283,7 @@ Optional argument TYPE is type of output (nil means all)." | |||
| 283 | <meta name=\"DC.title\" content=\"gnu.org\">\n\n") | 283 | <meta name=\"DC.title\" content=\"gnu.org\">\n\n") |
| 284 | 284 | ||
| 285 | (defconst manual-style-string "<style type=\"text/css\"> | 285 | (defconst manual-style-string "<style type=\"text/css\"> |
| 286 | @import url('/s/emacs/manual.css');\n</style>\n") | 286 | @import url('/software/emacs/manual.css');\n</style>\n") |
| 287 | 287 | ||
| 288 | (defun manual-misc-html (name root html-node-dir html-mono-dir) | 288 | (defun manual-misc-html (name root html-node-dir html-mono-dir) |
| 289 | ;; Hack to deal with the cases where .texi creates a different .info. | 289 | ;; Hack to deal with the cases where .texi creates a different .info. |