From 374252a55c14f92aaed73b3917ed783bf2762911 Mon Sep 17 00:00:00 2001 From: Cem Keylan Date: Sat, 26 Dec 2020 03:23:39 +0300 Subject: docs: update --- build | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'build') diff --git a/build b/build index 9e57afa..116ea89 100755 --- a/build +++ b/build @@ -125,10 +125,10 @@ main() { genrss index news index.html > src/news.xml genrss src/blog > src/rss.xml - # Generate htmldocs - command -v makeinfo && { - git submodule update --init --remote -f - make -s -C texidocs HTMLDIR="$PWD/src/docs" htmldocs + # Generate documentation + command -v emacs >/dev/null && command -v makeinfo >/dev/null && { + git submodule update --init --remote -f --recursive + HTMLDIR=$PWD/src/docs redo texidocs/htmldocs } # Generate pages -- cgit v1.2.3