Always build doc/manual-src

Should sphinx-build be not available AND the man file not be prsent,
then just "touch" it into existence (and warn about that)
Merge branch 'master' into win-ctrl-c