make distclean: rm {forward,back,both,nohead}.gif

These are generated files by `make` that weren't removed with
`make distclean`.

diff --git a/doc/infosrc/Makefile b/doc/infosrc/Makefile
index bd5a87159f1c60b14c3290952f462f3605109c9a..89f60b889dc382393d47c959dcd3fcac224dc5ce 100644 (file)
--- a/doc/infosrc/Makefile
+++ b/doc/infosrc/Makefile
@@ -213,7 +213,7 @@ clean :
 
 distclean : clean
        rm -f attrs.html colors.html output.html shapes.html lang.html arrows.html
-       rm -f $(A2GIF) $(AGIF) $(SGIF) $(MJPG) $(MGIF) $(MPNG) shapes
+       rm -f $(A2GIF) $(AGIF) $(SGIF) $(MPJG) $(MGIF) $(MPNG) $(XGIF) shapes
        (for s in $$(cat shapelist); do rm -f $$s.gif; done)
 
 EXTRA_DIST = $(XGIF) mklang.y mkarrows.sh mkattrs.sh mkshapes.sh mkstyles.sh mktapers.sh \