Make the "install schema" tables follow the same table style we use

elsewhere (lines between columns).

diff --git a/Doc/inst/inst.tex b/Doc/inst/inst.tex
index 2b0d9ae915a6d54ac3a6ab94ecb75e0e1cf4e0ff..c387ff72f5301dc8641d963afa6bae49876d6725 100644 (file)
--- a/Doc/inst/inst.tex
+++ b/Doc/inst/inst.tex
@@ -339,7 +339,7 @@ section~\ref{custom-install} on custom installations.
 % macro.  Uh-oh.
 
 \newcommand{\installscheme}[8]
-  {\begin{tableiii}{lll}{textrm}
+  {\begin{tableiii}{l|l|l}{textrm}
           {Type of file}
           {Installation Directory}
           {Override option}