diff options
| -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" ;; |