branch: externals-release/org commit bea172ae99366ebfb96ba26b6a5d84b5df936163 Author: Bastien <b...@gnu.org> Commit: Bastien <b...@gnu.org>
mk/default.mk: Use the Emacs manual css --- 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