diff options
| author | Peter Eisentraut <peter@eisentraut.org> | 2019-05-26 08:08:05 +0200 |
|---|---|---|
| committer | Peter Eisentraut <peter@eisentraut.org> | 2019-05-26 08:08:05 +0200 |
| commit | 41205719d34969018f708baa70d9d06dae0c0d08 (patch) | |
| tree | 85a93e357c0700b65a30bd12e5a2e4a44349616f /doc/src | |
| parent | 02aa15de1b3821b0288a13dec71ce99f2e31fda5 (diff) | |
| download | postgresql-41205719d34969018f708baa70d9d06dae0c0d08.tar.gz postgresql-41205719d34969018f708baa70d9d06dae0c0d08.zip | |
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
Diffstat (limited to 'doc/src')
| -rw-r--r-- | doc/src/sgml/images/Makefile | 2 | ||||
| -rw-r--r-- | doc/src/sgml/images/gin.gv (renamed from doc/src/sgml/images/gin.dot) | 0 |
2 files changed, 1 insertions, 1 deletions
diff --git a/doc/src/sgml/images/Makefile b/doc/src/sgml/images/Makefile index 6b229f03ad9..bb508dd0dd0 100644 --- a/doc/src/sgml/images/Makefile +++ b/doc/src/sgml/images/Makefile @@ -11,7 +11,7 @@ DOT = dot all: $(ALL_IMAGES) -%.svg: %.dot +%.svg: %.gv $(DOT) -T svg -o $@ $< %.svg: %.txt diff --git a/doc/src/sgml/images/gin.dot b/doc/src/sgml/images/gin.gv index 097e91029a4..097e91029a4 100644 --- a/doc/src/sgml/images/gin.dot +++ b/doc/src/sgml/images/gin.gv |