From 96cec8e16e081491bd7e04880e0037bc190fae16 Mon Sep 17 00:00:00 2001 From: Jonas Bernoulli Date: Sat, 19 Sep 2020 22:38:57 +0200 Subject: manual: Use a favicon in html export --- docs/Makefile | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/Makefile b/docs/Makefile index c8d1a68..1a75646 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -35,7 +35,8 @@ dir: $(PKG).info @printf "%s" $^ | xargs -n 1 $(INSTALL_INFO) --dir=$@ HTML_FIXUP_CSS = '//a\ -\ +\ +\n\ \n\ \n\ \n\ -- cgit v1.0