diff options
| -rw-r--r-- | admin/ChangeLog | 4 | ||||
| -rw-r--r-- | admin/admin.el | 2 |
2 files changed, 5 insertions, 1 deletions
diff --git a/admin/ChangeLog b/admin/ChangeLog index b9dc8cbafdc..cbcd698e8b1 100644 --- a/admin/ChangeLog +++ b/admin/ChangeLog @@ -1,3 +1,7 @@ +2013-07-12 Glenn Morris <rgm@gnu.org> + + * admin.el (manual-style-string): Use non-abbreviated url. + 2013-07-09 Paul Eggert <eggert@cs.ucla.edu> Port recent close-on-exec changes to Cygwin (Bug#14821). 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. |