diff options
author | Chris Johns <chrisj@rtems.org> | 2016-11-03 16:58:08 +1100 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-11-03 16:58:08 +1100 |
commit | 72a62ad88f82fe1ffee50024db4dd0f3fa5806f7 (patch) | |
tree | 6b0e527e67141f8126ba56b8a3c1eb90aeed5849 /wscript | |
parent | waf: Use separate doctrees so avoid sphinx clashes. (diff) | |
download | rtems-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-- | wscript | 8 |
1 files changed, 4 insertions, 4 deletions
@@ -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'] |