2000-03-09 18:50:26 +00:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2015-01-20 22:03:55 +01:00
|
|
|
# Generate the documentation about compiling Window Maker
|
2015-04-06 17:58:04 +02:00
|
|
|
./script/generate-txt-from-texi.sh "doc/build/Compilation.texi" -o "INSTALL-WMAKER"
|
2015-01-31 19:55:34 +01:00
|
|
|
./script/generate-txt-from-texi.sh "doc/build/Translations.texi" -o "README.i18n"
|
2015-01-20 22:03:55 +01:00
|
|
|
|
2015-01-20 22:04:08 +01:00
|
|
|
# Change date of the files to the past so they will be regenerated by 'make'
|
2015-04-06 17:58:04 +02:00
|
|
|
touch -d '2000-01-01' INSTALL-WMAKER README.i18n
|
2015-01-20 22:04:08 +01:00
|
|
|
|
2015-01-20 22:03:55 +01:00
|
|
|
# Generate the configure script from the 'configure.ac'
|
2010-04-08 21:38:03 +02:00
|
|
|
autoreconf -vfi -I m4
|
2000-03-09 18:50:26 +00:00
|
|
|
|
2010-04-08 21:38:03 +02:00
|
|
|
exit 0
|
2000-03-09 18:50:26 +00:00
|
|
|
|
|
|
|
|
if [ -x config.status -a -z "$*" ]; then
|
|
|
|
|
./config.status --recheck
|
|
|
|
|
else
|
|
|
|
|
if test -z "$*"; then
|
|
|
|
|
echo "I am going to run ./configure with no arguments - if you wish "
|
|
|
|
|
echo "to pass any to it, please specify them on the $0 command line."
|
|
|
|
|
echo "If you do not wish to run ./configure, press Ctrl-C now."
|
|
|
|
|
trap 'echo "configure aborted" ; exit 0' 1 2 15
|
|
|
|
|
sleep 1
|
|
|
|
|
fi
|
|
|
|
|
./configure "$@"
|
|
|
|
|
fi
|
