less dumb alter_doc.sh; will change doc generation anyway