* admin/admin.el (manual-style-string): Use non-abbreviated url.

admin/ChangeLog

+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).

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.