Squashed 'pgxntool/' changes from d8bf8ed..890053c
Squashed 'pgxntool/' changes from d8bf8ed..890053c

890053c Fix bug with DOCS
5c2173e Fix DOCS variable

git-subtree-dir: pgxntool
git-subtree-split: 890053c9cdf29ce3532b41537cacef4d945bf7fd

decibel/cat_tools