- NOT building the documentation is the default now.
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Mon, 3 Apr 2000 22:02:54 +0000 (22:02 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Mon, 3 Apr 2000 22:02:54 +0000 (22:02 +0000)
commit44ff7efafe7cb3e3f64ee907907062a68eb95b9e
treed08bda792e58661433f15b1be6a8c40e6031b23f
parent19457cda7eb2924618a009690217581a4e55173d
- NOT building the documentation is the default now.
configure
configure.in