diff options
| author | Glenn Morris <rgm@gnu.org> | 2013-07-11 23:45:04 -0700 |
|---|---|---|
| committer | Glenn Morris <rgm@gnu.org> | 2013-07-11 23:45:04 -0700 |
| commit | 48dde4df64a89fd9a54fbb9f153319b4f7705c0b (patch) | |
| tree | 48241c09124c08fb09b21b405edbf9afdc239264 /admin/admin.el | |
| parent | 539a920cda27cad65e298535ec082aa52e86daa2 (diff) | |
| download | emacs-48dde4df64a89fd9a54fbb9f153319b4f7705c0b.tar.gz | |
* 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)." <meta name=\"DC.title\" content=\"gnu.org\">\n\n") (defconst manual-style-string "<style type=\"text/css\"> -@import url('/s/emacs/manual.css');\n</style>\n") +@import url('/software/emacs/manual.css');\n</style>\n") (defun manual-misc-html (name root html-node-dir html-mono-dir) ;; Hack to deal with the cases where .texi creates a different .info. |