Add an option --with-docdir, so we can chose the directory where
authornbk <nbk>
Sat, 15 Jul 2006 17:04:59 +0000 (17:04 +0000)
committernbk <nbk>
Sat, 15 Jul 2006 17:04:59 +0000 (17:04 +0000)
commitc3b5439617651a8ef6adb401e8d4bb23c5fcc7da
tree7a6e509ab1cf228da441c34298c48f58a3a78f32
parent415d11cf6054ca61b3c329433958d791df5fb5b5
Add an option --with-docdir, so we can chose the directory where
the documentation files will be installed.
configure.in