diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-02-25 13:54:17 +0100 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-03-02 15:21:13 +0100 |
commit | c0ac12a4b8c572caaa5034c3926ed0549fb6fbee (patch) | |
tree | bad000b1835723fda40a5f7c3d8c87e1df044408 /config.ini | |
download | rtems-central-c0ac12a4b8c572caaa5034c3926ed0549fb6fbee.tar.bz2 |
Initial import
Diffstat (limited to 'config.ini')
-rw-r--r-- | config.ini | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/config.ini b/config.ini new file mode 100644 index 00000000..adad3585 --- /dev/null +++ b/config.ini @@ -0,0 +1,12 @@ +spec: + cache-file: spec.pickle + paths: + - spec +glossary: + project-groups: + - RTEMS-GLOS-GENERAL + project-target: external/rtems-docs/c-user/glossary.rst + documents: + - rest-source-paths: + - external/rtems-docs/eng + target: external/rtems-docs/eng/glossary.rst |