From 48dde4df64a89fd9a54fbb9f153319b4f7705c0b Mon Sep 17 00:00:00 2001
From: Glenn Morris <rgm@gnu.org>
Date: Thu, 11 Jul 2013 23:45:04 -0700
Subject: [PATCH] * admin/admin.el (manual-style-string): Use non-abbreviated
 url.

---
 admin/ChangeLog | 4 ++++
 admin/admin.el  | 2 +-
 2 files changed, 5 insertions(+), 1 deletion(-)

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.
-- 
2.11.4.GIT