diff --git a/doc/manual/common-options.xml b/doc/manual/common-options.xml new file mode 100644 index 0000000000..d04042993f --- /dev/null +++ b/doc/manual/common-options.xml @@ -0,0 +1,13 @@ + + Common options + + + + + + + diff --git a/doc/manual/schemas.xml b/doc/manual/schemas.xml new file mode 100644 index 0000000000..076f3a1415 --- /dev/null +++ b/doc/manual/schemas.xml @@ -0,0 +1,4 @@ + + + +