diff options
| author | Chris Johns <chrisj@rtems.org> | 2020-06-04 11:33:56 +1000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2020-06-04 12:28:00 +1000 |
| commit | d3c9d7f3b5185b1aca35b651cd6ac597f22f3311 (patch) | |
| tree | 54d8043511eebba4068aee2a853dc614cbc77190 /rtems-release-docs | |
| parent | Raise an error if the docs cannot be built. (diff) | |
| download | rtems-release-d3c9d7f3b5185b1aca35b651cd6ac597f22f3311.tar.bz2 | |
Fix building doxygen with RTEMS 5
Closes #3995
Diffstat (limited to 'rtems-release-docs')
| -rwxr-xr-x | rtems-release-docs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtems-release-docs b/rtems-release-docs index 58efcfc..7125067 100755 --- a/rtems-release-docs +++ b/rtems-release-docs @@ -171,7 +171,7 @@ cd ${release}/${docs} # # If doxygen information has been generate move it into the docs. # - for p in ../rtems-${release}-doxygen.tar.${comp_ext} + for p in ../rtems-${release}-doxygen-html.tar.${comp_ext} do if [ -e ${p} ]; then mv ${p} . |