diff options
-rw-r--r-- | .gitignore | 4 | ||||
-rw-r--r-- | docs/userguide/featureusage.rst (renamed from docs/userguide/userguide.rst) | 0 |
2 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ *~ .*.sw? -/build/ -/output/ +/docs_build/ +/docs_output/ /releng/ diff --git a/docs/userguide/userguide.rst b/docs/userguide/featureusage.rst index d37fadb..d37fadb 100644 --- a/docs/userguide/userguide.rst +++ b/docs/userguide/featureusage.rst |