diff options
author | Cem Keylan <cem@ckyln.com> | 2020-12-26 03:23:39 +0300 |
---|---|---|
committer | Cem Keylan <cem@ckyln.com> | 2020-12-26 03:23:39 +0300 |
commit | 374252a55c14f92aaed73b3917ed783bf2762911 (patch) | |
tree | 5117e1db656639a01d392da07cae6b1a2150cd55 /build | |
parent | a25685ba1f185ad4c2bb858a8e2472dfc17d7c26 (diff) | |
download | website-374252a55c14f92aaed73b3917ed783bf2762911.tar.gz |
docs: update
Diffstat (limited to 'build')
-rwxr-xr-x | build | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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 |