git.postgresql.org Git - postgresql.git/commitdiff

git projects / postgresql.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 1c5f223)
Fix markup.
2003年11月24日 16:56:00 +0000 (16:56 +0000)
2003年11月24日 16:56:00 +0000 (16:56 +0000)

diff --git a/doc/src/sgml/installation.sgml b/doc/src/sgml/installation.sgml
index 90eb08e54ddc6273c0f5a6f2e5971d03ca73e39a..794572a941b3c759af6f89227acbeb9e32d06c70 100644 (file)
--- a/doc/src/sgml/installation.sgml
+++ b/doc/src/sgml/installation.sgml
@@ -1,4 +1,4 @@
-<!-- $Header: /cvsroot/pgsql/doc/src/sgml/installation.sgml,v 1.183 2003年11月24日 14:52:58 petere Exp $ -->
+<!-- $Header: /cvsroot/pgsql/doc/src/sgml/installation.sgml,v 1.184 2003年11月24日 16:56:00 petere Exp $ -->
<chapter id="installation">
<title><![%standalone-include[<productname>PostgreSQL</>]]>
@@ -621,7 +621,6 @@ JAVACMD=$JAVA_HOME/bin/java
</para>
</listitem>
</varlistentry>
- </variablelist>
<varlistentry>
<term><option>--with-docdir=<replaceable>DIRECTORY</></option></term>
@@ -638,6 +637,7 @@ JAVACMD=$JAVA_HOME/bin/java
</para>
</listitem>
</varlistentry>
+ </variablelist>
<note>
<para>
This is the main PostgreSQL git repository.
RSS Atom

AltStyle によって変換されたページ (->オリジナル) /