TEC writes: > 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"
Hmm, while I barely ever look at the online manual, I thought I recalled it having custom styling, and indeed it looks like that was the case: https://web.archive.org/web/20171222052224/https://orgmode.org/org.html At least based on the Wayback Machine rendering, it seems like the custom CSS was lost shortly after the snapshot above. If you look in the repo for org-manual.css, you can see there is still handling for it. So, if we're going to go in the direction of this patch, there should be some mention of the previous approach, why it was dropped, and the handling for org-manual.css should probably be removed. Perhaps Bastien can help fill in some details here.