diff options
author | isaacs <i@izs.me> | 2011-10-04 02:21:19 +0400 |
---|---|---|
committer | isaacs <i@izs.me> | 2011-10-04 02:21:19 +0400 |
commit | 87d3689caa21ce7f9ab0624cdaeb7998a809507e (patch) | |
tree | 737b6bbf1f322f441264e4540117b4a7adaac736 /scripts | |
parent | 09bbcfe2d884093a4e5cc1f0b9689f85dbe7b8bf (diff) |
Building docs is too tedious to do on installation
Diffstat (limited to 'scripts')
-rw-r--r-- | scripts/install.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/install.sh b/scripts/install.sh index 0caeb9eb5..1ff82e92f 100644 --- a/scripts/install.sh +++ b/scripts/install.sh @@ -228,7 +228,7 @@ cd "$TMP" \ fi) \ && (if [ "$make" = "NOMAKE" ]; then (exit 0) - elif "$make" clean install; then + elif "$make" uninstall install; then (exit 0) else make="NOMAKE" |