2 Commits

Author	SHA1	Message	Date
Akim Demaille	d7f7fcd9c7	dot: also use a dot in the output ... * src/print-graph.c (print_core): Use a dot instead of a point. * doc/figs/example-reduce.gv, doc/figs/example-reduce.txt, * doc/figs/example-shift.gv, doc/figs/example-shift.txt, * doc/figs/example.gv: Update. * tests/output.at, tests/report.at: Adjust.	2020-07-03 06:51:57 +02:00
Akim Demaille	b97bbbaed7	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.	2013-08-01 11:20:13 +02:00