projects / platform / upstream / bison.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e386b50) | patch
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)
commitb97bbbaed7f4e377e8f3535f1af94e38ab881349
tree9208a6b2ac120fc674de08a97a80d8b0e1900168tree | snapshot
parente386b50f26b4459a48d2dcb9468841a975aa0efdcommit | diff
doc: prefer the ".gv" extension to ".dot"

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.
doc/figs/example-reduce.gv [moved from doc/figs/example-reduce.dot with 100% similarity] blob | history
doc/figs/example-shift.gv [moved from doc/figs/example-shift.dot with 100% similarity] blob | history
doc/figs/example.gv [moved from doc/figs/example.dot with 100% similarity] blob | history
doc/local.mk diff | blob | history
Domain: System / Toolchain;