# which format to be shown on "make show"
SHOW_FORMAT = dvi
+########################################################################
+all:
+
########################################################################
AVAILABLE_FORMATS = dvi ps ps.gz pdf html