From 8a0eb40a024c59626a1e158e82830a351cee696c Mon Sep 17 00:00:00 2001 From: Cem Keylan Date: Wed, 9 Sep 2020 19:19:24 +0300 Subject: fetch submodules automatically --- build | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/build b/build index 13160ea..9e78fa8 100755 --- a/build +++ b/build @@ -126,7 +126,10 @@ main() { genrss src/blog > src/rss.xml # Generate htmldocs - make -s -C texidocs DESTDIR="$PWD/src/docs" htmldocs + command -v makeinfo && { + git submodule update --init --remote -f + make -s -C texidocs DESTDIR="$PWD/src/docs" htmldocs + } # Generate pages genpages -- cgit v1.2.3