aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDave Smith <[email protected]>2011-10-24 07:28:30 -0600
committerDave Smith <[email protected]>2011-10-24 07:28:30 -0600
commitba3390f05910894e3684c37e5e4b81b174bc40d3 (patch)
treecb4030aa8daa1af5cabd0d6ac3b3ebe84696f91b
parentc753a124b880f0521b8d360d8dd62e104956649d (diff)
downloadkerl-ba3390f05910894e3684c37e5e4b81b174bc40d3.tar.gz
kerl-ba3390f05910894e3684c37e5e4b81b174bc40d3.tar.bz2
kerl-ba3390f05910894e3684c37e5e4b81b174bc40d3.zip
Add support for install HTML docs via KERL_INSTALL_HTMLDOCS
-rwxr-xr-xkerl10
1 files changed, 10 insertions, 0 deletions
diff --git a/kerl b/kerl
index 56852c3..02c36c2 100755
--- a/kerl
+++ b/kerl
@@ -446,6 +446,16 @@ ACTIVATE
echo "Extracting manpages"
cd "$absdir" && tar xfz "$KERL_DOWNLOAD_DIR/$FILENAME"
fi
+
+ if [ "$rel" != "git" -a -n "$KERL_INSTALL_HTMLDOCS" ]; then
+ echo "Fetching and installing HTML docs..."
+ FILENAME="otp_doc_html_$rel.tar.gz"
+ download "$FILENAME"
+ echo "Extracting HTML docs"
+ (cd "$absdir" && mkdir -p html && \
+ tar -C "$absdir/html" -xzf "$KERL_DOWNLOAD_DIR/$FILENAME")
+ fi
+
echo "You can activate this installation running the following command:"
echo ". $absdir/activate"
echo "Later on, you can leave the installation typing:"