diff options
Diffstat (limited to 'configure.save')
-rwxr-xr-x | configure.save | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/configure.save b/configure.save new file mode 100755 index 000000000000..752d71787f6c --- /dev/null +++ b/configure.save @@ -0,0 +1,13 @@ +--install=1 +--install-bin=/usr/bin +--install-cache=/var/cache/scriba/cache +--install-configdir=/etc/scriba +--install-docu=/usr/share/scriba/source +--install-etc=/etc/init.d +--install-hebtemp=/var/cache/scriba/hebtemp +--install-include=/usr/share/scriba/include +--install-lib=/usr/local/lib +--install-log=/var/log/scriba +--install-module=/usr/local/lib/scriba +--install-source=/usr/share/scriba/source +--unix=1 |