diff options
author | Bastien <bzg@gnu.org> | 2021-03-24 09:06:09 +0100 |
---|---|---|
committer | Bastien <bzg@gnu.org> | 2021-03-24 09:06:09 +0100 |
commit | c5538d58c48ff54cf303d64d5bf9d79ff5a834b4 (patch) | |
tree | 8add80fb47ef65f4c8f7121580ca398683ae2e17 | |
parent | 2e1c9841530dab3c651b545224e97976a75e68ce (diff) | |
download | org-mode-c5538d58c48ff54cf303d64d5bf9d79ff5a834b4.tar.gz |
mk/default.mk: Use Emacs manual css for Org online manual
Thanks to TEC <tecosaur@gmail.com> who suggested this.
-rw-r--r-- | mk/default.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/default.mk b/mk/default.mk index fbfdaf5..e92d58c 100644 --- a/mk/default.mk +++ b/mk/default.mk @@ -139,7 +139,7 @@ MKDIR = install -m 755 -d MAKEINFO = makeinfo # How to create the HTML file -TEXI2HTML = makeinfo --html --number-sections +TEXI2HTML = makeinfo --html --number-sections --css-ref "https://www.gnu.org/software/emacs/manual.css" # How to find files FIND = find |