# copy the .rst files which have changed into the docs (plural) directory at the root of the repo
publish : $(docs:%=%.rst)
bash publish_man.sh;\
bash publish_lib.sh;\
# copy the .rst files which have changed into the docs (plural) directory at the root of the repo
publish : $(docs:%=%.rst)
bash publish_man.sh;\
bash publish_lib.sh;\