From fc57ea88432ea119d063906cc29cc51ee591031d Mon Sep 17 00:00:00 2001 From: TEC Date: Wed, 23 Dec 2020 10:30:09 +0800 Subject: [PATCH] mk/default.mk: use same html doc style as emacs * mk/default.mk: Add CSS stylesheet ref to HTML generated by TEXI2HTML, specifically the stylesheet used with the online Emacs manual. --- mk/default.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 -- 2.29.2