+mostlyclean-info:
+ rm -f doc/*~ doc/*.cp doc/*.fn doc/*.ky doc/*.pg doc/*.tp doc/*.vr doc/*.cps doc/*.fns doc/*.kys doc/*.pgs doc/*.tps doc/*.vrs
+
+clean-info: mostlyclean-info
+ rm -f doc/*.info doc/*.info-*
+
+mostlyclean-dvi:
+ rm -f doc/*~ doc/*.aux doc/*.log doc/*.toc
+
+clean-dvi: mostlyclean-dvi
+ rm -f doc/*.dvi
+