[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Apply emacs manual css to org pages
From: |
Kyle Meyer |
Subject: |
Re: [PATCH] Apply emacs manual css to org pages |
Date: |
Tue, 29 Dec 2020 06:07:54 GMT |
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.
Re: [PATCH] Apply emacs manual css to org pages,
Kyle Meyer <=