I formati "pronti" da usare con il Makefile sono questi:

txt onehtml html jadetex dvi ps psbook pdf rtf

potete lanciare singolarmente il make come ad esempio:

make dvi

ed otterrete il file non-programmers.dvi, altrimenti
potete usare il pił comodo:

make all

per ottenere tutti i formati disponibili.

