make -C doc text ps html