diff options
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 |