diff options
Diffstat (limited to 'release-scripts')
| -rwxr-xr-x | release-scripts/build-htmlman-git | 2 | ||||
| -rwxr-xr-x | release-scripts/build-htmlman-nogit | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/release-scripts/build-htmlman-git b/release-scripts/build-htmlman-git index f10854922c6..9079a4c47cc 100755 --- a/release-scripts/build-htmlman-git +++ b/release-scripts/build-htmlman-git @@ -36,7 +36,7 @@ autoconf || _exit "Error running autoconf." export XML_CATALOG_FILES="file:///etc/xml/catalog file://$(pwd)/build/catalog.xml" -make htmlman3 || _exit "Error running make htmlman3" +make htmlman || _exit "Error running make htmlman" popd 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 |