diff options
author | Cem Keylan <cem@ckyln.com> | 2020-09-09 19:19:24 +0300 |
---|---|---|
committer | Cem Keylan <cem@ckyln.com> | 2020-09-09 19:19:24 +0300 |
commit | 8a0eb40a024c59626a1e158e82830a351cee696c (patch) | |
tree | 233830b2d54a545f947a4c48b3bc8df6cf0a746f | |
parent | 821fda61da4ab4d596d1399f21fa6cc9b1e51444 (diff) | |
download | website-8a0eb40a024c59626a1e158e82830a351cee696c.tar.gz |
fetch submodules automatically
-rwxr-xr-x | build | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -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 |