tranlate mkProdBook to less horrific form (python)
replace cat with copy
would like (in principle) to replace fgrep with a proper XSLT transform, but that is going to be a pain and depend on having something like lxml installed in addition to base Python.