aboutsummaryrefslogtreecommitdiff
path: root/doc/manual/common-options.xml
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-12-21 22:02:58 +0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-12-21 22:02:58 +0000
commit0a753e182aa0f50ea7062f2d9e02306b34266e37 (patch)
treed85e74cd6f72e68b17a581545133ecdd35b09013 /doc/manual/common-options.xml
parentdf7a718786c83e1eca908864820bb05ab964c451 (diff)
* Oops.
Diffstat (limited to 'doc/manual/common-options.xml')
-rw-r--r--doc/manual/common-options.xml13
1 files changed, 13 insertions, 0 deletions
diff --git a/doc/manual/common-options.xml b/doc/manual/common-options.xml
new file mode 100644
index 000000000..d04042993
--- /dev/null
+++ b/doc/manual/common-options.xml
@@ -0,0 +1,13 @@
+<sect1>
+ <title>Common options</title>
+
+ <para>
+ </para>
+
+</sect1>
+
+<!--
+local variables:
+sgml-parent-document: ("book.xml" "sect1")
+end:
+-->