summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2015-01-05 14:31:44 +0100
committerAkim Demaille <akim@lrde.epita.fr>2015-01-05 14:41:46 +0100
commit478c4a8f495f4b665e6bcb5b5a669089a7bd614a (patch)
tree295190235b963e111733d007ac220485f10fa92b
parenta16074bb09740ac84c1d27bbf6733f4a054100ba (diff)
downloadbison-478c4a8f495f4b665e6bcb5b5a669089a7bd614a.tar.gz
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.
-rw-r--r--doc/local.mk2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/local.mk b/doc/local.mk
index e92ea715..c340452a 100644
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -132,7 +132,7 @@ endif
## 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