summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAkim Demaille <akim@lrde.epita.fr>2013-08-01 11:41:49 +0200
committerAkim Demaille <akim@lrde.epita.fr>2013-08-01 11:41:49 +0200
commitc4aa4ff54130c6c3d1c1a74faedaffead76c2670 (patch)
tree2a8092246f2bb2881c8492dba43f81e4b365024f
parentb97bbbaed7f4e377e8f3535f1af94e38ab881349 (diff)
downloadbison-c4aa4ff54130c6c3d1c1a74faedaffead76c2670.tar.gz
build: ship the ASCII art figures
We don't ship the *.txt files that are used to build the info file. Reported by Colin Daley. * doc/figs/example.txt: New. * doc/local.mk (bison.info): Depend on the txt files. And ship them.
-rw-r--r--THANKS1
-rw-r--r--doc/figs/example.txt2
-rw-r--r--doc/local.mk3
3 files changed, 5 insertions, 1 deletions
diff --git a/THANKS b/THANKS
index 5bf34653..321a8b8a 100644
--- a/THANKS
+++ b/THANKS
@@ -25,6 +25,7 @@ Bruce Lilly blilly@erols.com
Bruno Haible bruno@clisp.org
Charles-Henri de Boysson de-boy_c@epita.fr
Christian Burger cburger@sunysb.edu
+Colin Daley colin.daley@outlook.com
Cris Bailiff c.bailiff+bison@awayweb.com
Cris van Pelt cris@amf03054.office.wxs.nl
Csaba Raduly csaba_22@yahoo.co.uk
diff --git a/doc/figs/example.txt b/doc/figs/example.txt
new file mode 100644
index 00000000..2fc21ffc
--- /dev/null
+++ b/doc/figs/example.txt
@@ -0,0 +1,2 @@
+This file is a stub, not used by the documentation. If you feel like
+contributing ASCII art for example.gv, please step forward!
diff --git a/doc/local.mk b/doc/local.mk
index c3a35d3b..1f7b3b22 100644
--- a/doc/local.mk
+++ b/doc/local.mk
@@ -24,6 +24,7 @@ doc_bison_TEXINFOS = \
# Obfuscate with a variable.
doc_bison = doc/bison
$(doc_bison).dvi: $(FIGS_GV:.gv=.eps)
+$(doc_bison).info: $(FIGS_GV:.gv=.txt)
$(doc_bison).pdf: $(FIGS_GV:.gv=.pdf)
$(doc_bison).html: $(FIGS_GV:.gv=.png)
@@ -128,7 +129,7 @@ FIGS_GV = \
doc/figs/example.gv \
doc/figs/example-reduce.gv doc/figs/example-shift.gv
EXTRA_DIST += \
- $(FIGS_GV) \
+ $(FIGS_GV) $(FIGS_GV:.gv=.txt) \
$(FIGS_GV:.gv=.eps) $(FIGS_GV:.gv=.pdf) $(FIGS_GV:.gv=.png)
SUFFIXES += .gv .eps .pdf .png