Script to regenerate tex/p*-sections.tex files