diff options
author | Akim Demaille <akim.demaille@gmail.com> | 2019-04-28 17:47:14 +0200 |
---|---|---|
committer | Akim Demaille <akim.demaille@gmail.com> | 2019-04-29 07:44:19 +0200 |
commit | 04676a50853902806c33a413f50cb8704f668fbd (patch) | |
tree | d4298a3bf4bf8d0ba172dc70592b44ce221500a8 /doc | |
parent | cf44351dd7b859a05d1e9bcea84a226e930542cf (diff) | |
download | bison-04676a50853902806c33a413f50cb8704f668fbd.tar.gz |
doc: use svg instead of png
* doc/bison.texi, doc/local.mk: here.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/bison.texi | 6 | ||||
-rw-r--r-- | doc/local.mk | 12 |
2 files changed, 9 insertions, 9 deletions
diff --git a/doc/bison.texi b/doc/bison.texi index 33065c54..a6cd29a1 100644 --- a/doc/bison.texi +++ b/doc/bison.texi @@ -9776,7 +9776,7 @@ Parser}, for a detailed analysis of the textual report. @ifnotinfo @float Figure,fig:graph -@image{figs/example, 430pt} +@center @image{figs/example, 430pt,,,.svg} @caption{A graphical rendering of the parser.} @end float @end ifnotinfo @@ -9814,7 +9814,7 @@ State 3 A Graphviz rendering of this portion of the graph could be: -@center @image{figs/example-shift, 100pt} +@center @image{figs/example-shift, 100pt,,,.svg} @subheading Graphical Representation of Reductions @@ -9836,7 +9836,7 @@ State 1 A Graphviz rendering of this portion of the graph could be: -@center @image{figs/example-reduce, 120pt} +@center @image{figs/example-reduce, 120pt,,,.svg} When unresolved conflicts are present, because in deterministic parsing a single decision can be made, Bison can arbitrarily choose to disable a diff --git a/doc/local.mk b/doc/local.mk index 76859b05..c0763767 100644 --- a/doc/local.mk +++ b/doc/local.mk @@ -33,7 +33,7 @@ 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) +$(doc_bison).html: $(FIGS_GV:.gv=.svg) TEXI2DVI = texi2dvi --build-dir=doc/bison.t2d -I doc CLEANDIRS += doc/bison.t2d @@ -142,14 +142,14 @@ endif ## Graphviz examples generation. ## ## ----------------------------- ## -CLEANFILES += $(FIGS_GV:.gv=.eps) $(FIGS_GV:.gv=.pdf) $(FIGS_GV:.gv=.png) +CLEANFILES += $(FIGS_GV:.gv=.eps) $(FIGS_GV:.gv=.pdf) $(FIGS_GV:.gv=.svg) FIGS_GV = \ doc/figs/example.gv \ doc/figs/example-reduce.gv doc/figs/example-shift.gv EXTRA_DIST += \ $(FIGS_GV) $(FIGS_GV:.gv=.txt) \ - $(FIGS_GV:.gv=.eps) $(FIGS_GV:.gv=.pdf) $(FIGS_GV:.gv=.png) -SUFFIXES += .gv .eps .pdf .png + $(FIGS_GV:.gv=.eps) $(FIGS_GV:.gv=.pdf) $(FIGS_GV:.gv=.svg) +SUFFIXES += .gv .eps .pdf .svg .gv.eps: $(AM_V_GEN) $(MKDIR_P) `echo "./$@" | sed -e 's,/[^/]*$$,,'` @@ -161,9 +161,9 @@ SUFFIXES += .gv .eps .pdf .png $(AM_V_at) $(DOT) -Gmargin=0 -Tpdf $< >$@.tmp $(AM_V_at) mv $@.tmp $@ -.gv.png: +.gv.svg: $(AM_V_GEN) $(MKDIR_P) `echo "./$@" | sed -e 's,/[^/]*$$,,'` - $(AM_V_at) $(DOT) -Gmargin=0 -Tpng $< >$@.tmp + $(AM_V_at) $(DOT) -Gmargin=0 -Tsvg $< >$@.tmp $(AM_V_at) mv $@.tmp $@ ## -------------- ## |