pgsql: Change Graphviz file extension

From: Peter Eisentraut <peter(at)eisentraut(dot)org>
To: pgsql-committers(at)lists(dot)postgresql(dot)org
Subject: pgsql: Change Graphviz file extension
Date: 2019-05-26 06:09:56
Message-ID: E1hUmM0-0000yS-FH@gemulon.postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-committers

Change Graphviz file extension

Change extension for Graphviz files from .dot to .gv. The latter
appears to be the generally preferred one nowadays.

Discussion: https://www.postgresql.org/message-id/flat/71fe76d2-c7d7-2acc-6762-bbf9e61c566e%402ndquadrant.com

Branch
------
master

Details
-------
https://git.postgresql.org/pg/commitdiff/41205719d34969018f708baa70d9d06dae0c0d08

Modified Files
--------------
contrib/pg_trgm/trgm_regexp.c | 14 +++++++-------
doc/src/sgml/images/Makefile | 2 +-
doc/src/sgml/images/{gin.dot => gin.gv} | 0
3 files changed, 8 insertions(+), 8 deletions(-)

Browse pgsql-committers by date

  From Date Subject
Next Message Amit Kapila 2019-05-26 13:01:14 pgsql: Fix typos.
Previous Message Amit Kapila 2019-05-25 10:13:02 pgsql: Doc: fix incorrect references in PG 12 release notes.