diff options
| author | Dirk-Jan C. Binnema <djcb@djcbsoftware.nl> | 2020-04-18 13:27:00 +0300 |
|---|---|---|
| committer | Dirk-Jan C. Binnema <djcb@djcbsoftware.nl> | 2020-04-18 13:27:00 +0300 |
| commit | 7ac7e746cf1af8395fdfcf638f308285a9e92b0c (patch) | |
| tree | 1beca2dd4b3367dc3b29ad24bb7db5a12b759850 | |
| parent | b5716b301a29b53c82b78d64cb489499b9748290 (diff) | |
mu4e: allow for build fancy html docs
This is for local use only, for now.
| -rw-r--r-- | mu4e/Makefile.am | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/mu4e/Makefile.am b/mu4e/Makefile.am index 9553168..6d13ff7 100644 --- a/mu4e/Makefile.am +++ b/mu4e/Makefile.am @@ -51,3 +51,12 @@ CLEANFILES= \ doc_DATA = \ mu4e-about.org + +## +## Change as needed. +## +BUILDPATH=mu4e +TEXINFO_CSS_PATH=~/Sources/ext/texinfo-css +fancyhtml: + mkdir -p $(BUILDPATH) ; cp -R $(TEXINFO_CSS_PATH)/static $(BUILDPATH) + makeinfo --html --css-ref=static/css/texinfo-klare.css -o $(BUILDPATH) mu4e.texi |