diff --git a/manual/catalog.xml b/manual/catalog.xml new file mode 100644 index 0000000000..b605a109d2 --- /dev/null +++ b/manual/catalog.xml @@ -0,0 +1,17 @@ + + + + + + + +