dvips arquivo.dvi -o arquivo.ps
Crie uma Makefile capaz de realizar essas tarefas. Não se esqueça de incluir nas dependências eventuais arquivos que sejam incluídos por meio do comando input. Sugestão: puxe do servidor o arquivo fonte desta apostila e crie sua Makefile.
make -d >& log.txt
respire fundo e leia o arquivo log.txt para saber como make se comporta com sua Makefile. Trata-se de um longo arquivo.