<<< Date Index >>>     <<< Thread Index >>>

Re: [PATCH] If --with-docdir isn't given, fall back to --docdir. Else



[sorry for the dupes, I mistyped Rocco's email address on the first attempt; this PATCH is against HEAD, rather than in my private branch]

--
Matthias Andree