[sr-dev] git:master: docbook: allow setting catalog path from command line