Add missing rule for converting .gv to .gif

diff --git a/doc/infosrc/Makefile.old b/doc/infosrc/Makefile.old
index 8430666713d07d93f407cf4d54f3fa80fff3cd68..a19efc4d4b8611c429dc6f169e580aaddf7e94ad 100644 (file)
--- a/doc/infosrc/Makefile.old
+++ b/doc/infosrc/Makefile.old
@@ -67,6 +67,9 @@ INSTALL_FILES = $(HTML) $(DOTS) $(SGIF) $(AGIF) $(A2GIF) $(MGIF) $(XGIF) $(MJPG)
 .dot.gif :
        dot -Tgif -o $@ $<
 
+.gv.gif :
+       dot -Tgif -o $@ $<
+
 .gv.png :
        dot -Tpng -o $@ $<