missing sources

diff --git a/doc/infosrc/Makefile.old b/doc/infosrc/Makefile.old
index b84abc5e781dca0c34e636aa466c0b59385f1e6e..a2ff749190814e197d7ddfaa5482e0bfe8e4c814 100644 (file)
--- a/doc/infosrc/Makefile.old
+++ b/doc/infosrc/Makefile.old
@@ -53,7 +53,7 @@ A2GIF= aa_box.gif aa_lbox.gif aa_rbox.gif aa_obox.gif aa_olbox.gif aa_orbox.gif\
        aa_tee.gif aa_ltee.gif aa_rtee.gif \
        aa_vee.gif aa_lvee.gif aa_rvee.gif 
 
-GIF = $(SGIF) $(AGIF) $(MGIF) $(A2GIF)
+GIF = $(SGIF) $(AGIF) $(MGIF) $(A2GIF) $(XGIF)
 DOTS = html2.dot html3.dot html4.dot
 HTML = attrs.html colors.html command.html lang.html output.html shapes.html \
        arrows.html