[sr-dev] git:master: docbook/Makefile: option to not use local catalog