-- Matthias Andree
[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]
- [PATCH] If --with-docdir isn't given, fall back to --docdi... Matthias Andree
- [PATCH] If --with-docdir isn't given, fall back to --... Matthias Andree
- [PATCH] If --with-docdir isn't given, fall back to --... Matthias Andree
- Re: [PATCH] If --with-docdir isn't given, fall ba... Matthias Andree
- Re: [PATCH] If --with-docdir isn't given, fall ba... Rocco Rutte
- Re: [PATCH] If --with-docdir isn't given, fal... Matthias Andree
- Re: [PATCH] If --with-docdir isn't given,... Rocco Rutte
- Re: [PATCH] If --with-docdir isn't g... Matthias Andree
- Re: [PATCH] If --with-docdir isn... Brendan Cully
- Re: [PATCH] If --with-docdir... Matthias Andree
