diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-24 12:22:15 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2020-10-24 12:22:15 +0200 |
commit | d4c5e4d27235c58873cf28bc6d631d3076f6e5d0 (patch) | |
tree | 0d4ec6e10bf38e77c9c7d4d69f6478bb9dcadcc6 /config.yml | |
parent | spec2modules.py: Merge spec2doc.py, spec2rtems.py (diff) | |
download | rtems-central-d4c5e4d27235c58873cf28bc6d631d3076f6e5d0.tar.bz2 |
Move glossary of terms to separate directory
This makes the glossary reusable in other specification domains.
Diffstat (limited to 'config.yml')
-rw-r--r-- | config.yml | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -47,6 +47,7 @@ spec: paths: - spec-spec - spec + - spec-glossary - modules/rtems/spec glossary: project-groups: |