diff options
-rw-r--r-- | doc/user-manual/Makefile (renamed from doc/manual/Makefile) | 0 | ||||
-rw-r--r-- | doc/user-manual/html.css (renamed from doc/manual/html.css) | 0 | ||||
-rw-r--r-- | doc/user-manual/usermanual.xml (renamed from doc/manual/usermanual.xml) | 0 |
3 files changed, 0 insertions, 0 deletions
diff --git a/doc/manual/Makefile b/doc/user-manual/Makefile index 341ab55e2..341ab55e2 100644 --- a/doc/manual/Makefile +++ b/doc/user-manual/Makefile diff --git a/doc/manual/html.css b/doc/user-manual/html.css index 6eedfd318..6eedfd318 100644 --- a/doc/manual/html.css +++ b/doc/user-manual/html.css diff --git a/doc/manual/usermanual.xml b/doc/user-manual/usermanual.xml index 79fef4776..79fef4776 100644 --- a/doc/manual/usermanual.xml +++ b/doc/user-manual/usermanual.xml |