-
Emmanuele Bassi authored
We should always recurse into the doc/ directory; whether we should then recurse into reference/, cookbook/ and manual/ is a matter of specific configure-time flags.
52db14b7
We should always recurse into the doc/ directory; whether we should then recurse into reference/, cookbook/ and manual/ is a matter of specific configure-time flags.