@ -139,3 +139,22 @@ distdir:
check:
pdf: pdf-am
pdf-am:
ps: ps-am
ps-am:
dvi: dvi-am
dvi-am:
html: html-am
html-am:
info: info-am
info-am: