make -C doc text ps html
