diff options
| author | Glenn Morris | 2013-07-11 23:45:04 -0700 |
|---|---|---|
| committer | Glenn Morris | 2013-07-11 23:45:04 -0700 |
| commit | 48dde4df64a89fd9a54fbb9f153319b4f7705c0b (patch) | |
| tree | 48241c09124c08fb09b21b405edbf9afdc239264 /admin/admin.el | |
| parent | 539a920cda27cad65e298535ec082aa52e86daa2 (diff) | |
| download | emacs-48dde4df64a89fd9a54fbb9f153319b4f7705c0b.tar.gz emacs-48dde4df64a89fd9a54fbb9f153319b4f7705c0b.zip | |
* admin/admin.el (manual-style-string): Use non-abbreviated url.
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. |