diff options
| author | Glenn Morris | 2013-06-12 23:18:57 -0700 |
|---|---|---|
| committer | Glenn Morris | 2013-06-12 23:18:57 -0700 |
| commit | 0605ec8e4f9912bea0b13b87bd330770925d3d36 (patch) | |
| tree | 47a472b1acffeb4ebc6cb62134445c86bce79459 /admin/admin.el | |
| parent | d652f4d02f99bc1f5b2a32bf987678e146d1aa19 (diff) | |
| download | emacs-0605ec8e4f9912bea0b13b87bd330770925d3d36.tar.gz emacs-0605ec8e4f9912bea0b13b87bd330770925d3d36.zip | |
* admin/admin.el (manual-style-string): Use new file manual.css.
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 cb7eaead27f..8366207f5b0 100644 --- a/admin/admin.el +++ b/admin/admin.el | |||
| @@ -271,7 +271,7 @@ Root must be the root of an Emacs source tree." | |||
| 271 | <meta name=\"DC.title\" content=\"gnu.org\">\n\n") | 271 | <meta name=\"DC.title\" content=\"gnu.org\">\n\n") |
| 272 | 272 | ||
| 273 | (defconst manual-style-string "<style type=\"text/css\"> | 273 | (defconst manual-style-string "<style type=\"text/css\"> |
| 274 | @import url('/style.css');\n</style>\n") | 274 | @import url('/s/emacs/manual.css');\n</style>\n") |
| 275 | 275 | ||
| 276 | (defun manual-misc-html (name root html-node-dir html-mono-dir) | 276 | (defun manual-misc-html (name root html-node-dir html-mono-dir) |
| 277 | (let ((texi (expand-file-name (format "doc/misc/%s.texi" name) root))) | 277 | (let ((texi (expand-file-name (format "doc/misc/%s.texi" name) root))) |