Publish ATS-Postiats/doc/BOOK/INT2PROGINATS translated.