diff options
Diffstat (limited to 'release-scripts/build-htmlman-nogit')
| -rwxr-xr-x | release-scripts/build-htmlman-nogit | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/release-scripts/build-htmlman-nogit b/release-scripts/build-htmlman-nogit index afd388bf3b0..3f3ff2d5baf 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 |