+$(infodir)/srecode$(INFO_EXT): srecode.texi
+ $(MAKEINFO) $(MAKEINFO_OPTS) $(INFO_OPTS) -o $@ srecode.texi
+srecode.dvi: srecode.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/srecode.texi
+
+$(infodir)/bovine$(INFO_EXT): bovine.texi
+ $(MAKEINFO) $(MAKEINFO_OPTS) $(INFO_OPTS) -o $@ bovine.texi
+bovine.dvi: bovine.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/bovine.texi
+
+$(infodir)/wisent$(INFO_EXT): wisent.texi
+ $(MAKEINFO) $(MAKEINFO_OPTS) $(INFO_OPTS) -o $@ wisent.texi
+wisent.dvi: wisent.texi
+ $(ENVADD) $(TEXI2DVI) $(srcdir)/wisent.texi
+
+$(INFO_TARGETS): doclicense.texi
+$(DVI_TARGETS): doclicense.texi
+