diff options
Diffstat (limited to 'release-scripts')
| -rwxr-xr-x | release-scripts/build-manpages-nogit | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/release-scripts/build-manpages-nogit b/release-scripts/build-manpages-nogit index 7c32e34d31..c39b6855b1 100755 --- a/release-scripts/build-manpages-nogit +++ b/release-scripts/build-manpages-nogit @@ -20,19 +20,12 @@ autoconf || _exit "Error running autoconf." ./configure || _exit "Error running configure." -# enable offline build by creating catalog: -cat $(pwd)/build/catalog.xml.in \ - | sed -e "s|@BUILDDIR@|$(pwd)|g" \ - > $(pwd)/build/catalog.xml - export XML_CATALOG_FILES="file:///etc/xml/catalog file://$(pwd)/build/catalog.xml" make clean || _exit "Error running make clean" # re-establish catalog (has been removed by make clean...) -cat $(pwd)/build/catalog.xml.in \ - | sed -e "s|@BUILDDIR@|$(pwd)|g" \ - > $(pwd)/build/catalog.xml +./config.status make manpages3 || _exit "Error running make manpages3" |