docbook-manual-repo.py: added print statements to improve logging