diff options
author | Chris Johns <chrisj@rtems.org> | 2016-10-31 18:11:49 +0000 |
---|---|---|
committer | Chris Johns <chrisj@rtems.org> | 2016-10-31 18:11:49 +0000 |
commit | 06aba3ce47911a863c870cfbcaae267cd5393e32 (patch) | |
tree | 881dc1078e59ef8d194e5b6a4bb5209e45ad9e52 | |
parent | Remove clean up, this is done at a higher level. (diff) | |
download | rtems-release-06aba3ce47911a863c870cfbcaae267cd5393e32.tar.bz2 |
Add bsp_howto to the name remapping.
-rwxr-xr-x | rtems-release-docs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rtems-release-docs b/rtems-release-docs index 821a355..4d5ca75 100755 --- a/rtems-release-docs +++ b/rtems-release-docs @@ -69,6 +69,7 @@ manuals="${manuals} cpu_supplement filesystem develenv" manual_map() { case $1 in + bsp_howto) echo "bsp-howto" ;; c_user) echo "c-user" ;; posix_users) echo "posix-user" ;; *) echo "$1" ;; |