Add documentation on GVBINDIR.

diff --git a/doc/info/command.html b/doc/info/command.html
index 2ec3855a0f9c7217c25e777c1179244fbf6927a2..398d4717c78e28d4ab3edc6b4a212bf3fd3a5cde 100644 (file)
--- a/doc/info/command.html
+++ b/doc/info/command.html
@@ -150,6 +150,13 @@ variables should be set when the command is run, for example,<BR>
 <CODE>
 SERVER_NAME=xxx GV_FILE_PATH="images/" dot -Tpng -o x.png x.dot
 </CODE>
+<DT><A NAME=d:GVBINDIR><STRONG>GVBINDIR</STRONG></A>
+<DD>
+Indicates which directory contains the Graphviz config file and
+plug-in libraries. If it is defined, the value overrides any other
+mechanism for finding this directory. If Graphviz is properly installed,
+it should not be needed, though it can be useful for relocation on
+platforms not running Linux or Windows.
 </DL>
 </BODY>
 </HTML>

diff --git a/doc/infosrc/command.html b/doc/infosrc/command.html
index 2ec3855a0f9c7217c25e777c1179244fbf6927a2..398d4717c78e28d4ab3edc6b4a212bf3fd3a5cde 100644 (file)
--- a/doc/infosrc/command.html
+++ b/doc/infosrc/command.html
@@ -150,6 +150,13 @@ variables should be set when the command is run, for example,<BR>
 <CODE>
 SERVER_NAME=xxx GV_FILE_PATH="images/" dot -Tpng -o x.png x.dot
 </CODE>
+<DT><A NAME=d:GVBINDIR><STRONG>GVBINDIR</STRONG></A>
+<DD>
+Indicates which directory contains the Graphviz config file and
+plug-in libraries. If it is defined, the value overrides any other
+mechanism for finding this directory. If Graphviz is properly installed,
+it should not be needed, though it can be useful for relocation on
+platforms not running Linux or Windows.
 </DL>
 </BODY>
 </HTML>