summaryrefslogtreecommitdiffstats
path: root/wscript
diff options
context:
space:
mode:
authorChris Johns <chrisj@rtems.org>2016-11-03 16:58:08 +1100
committerChris Johns <chrisj@rtems.org>2016-11-03 16:58:08 +1100
commit72a62ad88f82fe1ffee50024db4dd0f3fa5806f7 (patch)
tree6b0e527e67141f8126ba56b8a3c1eb90aeed5849 /wscript
parentwaf: Use separate doctrees so avoid sphinx clashes. (diff)
downloadrtems-docs-72a62ad88f82fe1ffee50024db4dd0f3fa5806f7.tar.bz2
Rename all manuals with an _ to have a -. It helps released naming of files.
Diffstat (limited to 'wscript')
-rw-r--r--wscript8
1 files changed, 4 insertions, 4 deletions
diff --git a/wscript b/wscript
index 3e35dc9..86f3e94 100644
--- a/wscript
+++ b/wscript
@@ -8,13 +8,13 @@ path.append(abspath('common'))
import waf as docs_waf
-build_all = ['c_user',
- 'posix_users',
+build_all = ['c-user',
+ 'posix-users',
'shell',
'user',
'eclipse',
- 'bsp_howto',
- 'cpu_supplement',
+ 'bsp-howto',
+ 'cpu-supplement',
'filesystem',
'rsb',
'develenv']