diff options
author | Akim Demaille <akim@lrde.epita.fr> | 2015-01-05 14:31:44 +0100 |
---|---|---|
committer | Akim Demaille <akim@lrde.epita.fr> | 2015-01-05 14:41:46 +0100 |
commit | 478c4a8f495f4b665e6bcb5b5a669089a7bd614a (patch) | |
tree | 295190235b963e111733d007ac220485f10fa92b /doc/local.mk | |
parent | a16074bb09740ac84c1d27bbf6733f4a054100ba (diff) | |
download | bison-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.
Diffstat (limited to 'doc/local.mk')
-rw-r--r-- | doc/local.mk | 2 |
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 |