build: do not clean figure sources in make clean

"make clean && make" fails in in-tree builds.

* doc/local.mk (CLEANDIRS): Replace with...
(CLEANFILES): this safer list of files to clean.

diff --git a/doc/local.mk b/doc/local.mk
index e92ea71531278db830ee612285cb0ba3c2a9fd48..c340452a54ac8e001667fe133984cfd2fc618a38 100644 (file)
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -132,7 +132,7 @@ endif
 ## Graphviz examples generation. ##
 ## ----------------------------- ##
 
 ## Graphviz examples generation. ##
 ## ----------------------------- ##
 

-CLEANDIRS += doc/figs
+CLEANFILES += $(FIGS_GV:.gv=.eps) $(FIGS_GV:.gv=.pdf) $(FIGS_GV:.gv=.png)

 FIGS_GV =                                               \
   doc/figs/example.gv                                   \
   doc/figs/example-reduce.gv doc/figs/example-shift.gv
 FIGS_GV =                                               \
   doc/figs/example.gv                                   \
   doc/figs/example-reduce.gv doc/figs/example-shift.gv