build_ps():  Fix flags to dvips.

build_html():  Deal with node2label.pl a little better.
1 file changed