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)