summaryrefslogtreecommitdiff
path: root/release-scripts/build-htmlman-nogit
diff options
context:
space:
mode:
Diffstat (limited to 'release-scripts/build-htmlman-nogit')
-rwxr-xr-xrelease-scripts/build-htmlman-nogit2
1 files changed, 1 insertions, 1 deletions
diff --git a/release-scripts/build-htmlman-nogit b/release-scripts/build-htmlman-nogit
index afd388bf3b..3f3ff2d5ba 100755
--- a/release-scripts/build-htmlman-nogit
+++ b/release-scripts/build-htmlman-nogit
@@ -39,7 +39,7 @@ make clean || _exit "Error running make clean"
# re-establish catalog (has been removed by make clean...)
./config.status
-make htmlman3 || _exit "Error running make htmlman3"
+make htmlman || _exit "Error running make htmlman"
popd