]> git.saurik.com Git - bison.git/commitdiff
projects / bison.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: b97bbba)
doc: prefer the ".gv" extension to ".dot"
authorAkim Demaille <akim@lrde.epita.fr>
Thu, 1 Aug 2013 09:19:05 +0000 (11:19 +0200)
committerAkim Demaille <akim@lrde.epita.fr>
Thu, 1 Aug 2013 09:20:13 +0000 (11:20 +0200)
See http://marc.info/?l=graphviz-devel&m=129418103126092 for the
motivation (basically, some word processor now uses *.dot).

* doc/figs/example-reduce.dot: Rename as...
* doc/figs/example-reduce.gv: this.
* doc/figs/example-shift.dot: Rename as...
* doc/figs/example-shift.gv: this.
* doc/figs/example.dot: Rename as...
* doc/figs/example.gv: this.
* doc/local.mk: Adjust.


No differences found
bison