INFO = ptx INFOSECTION= "Documentation tools" INFOENTRY_ptx= "* PTX: (ptx). GNU permuted index generator." .include