From 2338d9124a07c95b778770e9a13c07f0eed7487c Mon Sep 17 00:00:00 2001 From: Kalle Olavi Niemitalo Date: Mon, 30 Jun 2008 19:41:14 +0300 Subject: [PATCH] mkdist: build documentation unless -d given The documentation has version numbers in a few places and it's easier to get those right this way than by building it elsewhere before running mkdist. This change slows down mkdist but ccache can mitigate some of that and snapshots use prebuilt documentation anyway. --- contrib/mkdist | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/contrib/mkdist b/contrib/mkdist index fd993e58..244a54e5 100755 --- a/contrib/mkdist +++ b/contrib/mkdist @@ -114,7 +114,9 @@ printf "%s\n" "$commit" > "$tmpdir/elinks/.git/HEAD" ./autogen.sh mkdir build cd build - ../configure + # Enable lots of features so that their options will appear in elinks + # --config-help and doc/html/elinks.conf.5.html. + ../configure --enable-bittorrent --enable-cgi --enable-fsp --enable-nntp make -C po mv po/*.gmo ../po/ mv contrib/elinks.spec ../contrib/ @@ -125,6 +127,11 @@ if [ -n "$docdir" ]; then cp -r -- "$docdir"/*.html* "$tmpdir/elinks/doc/html/" # mkdir doc/pdf # cp "$docdir"/*.pdf doc/pdf +else + make -C "$tmpdir/elinks/build" + make -C "$tmpdir/elinks/build/doc" html + mkdir -- "$tmpdir/elinks/doc/html" + mv -- "$tmpdir/elinks/build/doc"/*.html* "$tmpdir/elinks/doc/html/" fi rm -rf -- "$tmpdir/elinks/build"