Architectural documentation:
% cd hipl/doc
% make design_choices.dvi design_choices.ps design_choices.pdf
Source code documentation:
% doxygen