diff options
| author | Chris Johns <chrisj@rtems.org> | 2016-10-31 18:04:18 +0000 |
|---|---|---|
| committer | Chris Johns <chrisj@rtems.org> | 2016-10-31 18:04:18 +0000 |
| commit | 59c91051ffee58744b230140fa95be21f50f8f77 (patch) | |
| tree | 02cd547bcc61ab44ebee9f9f76a3124e15250a0e /rtems-release-defaults-4.10 | |
| parent | Fix bare source packaging. (diff) | |
| download | rtems-release-59c91051ffee58744b230140fa95be21f50f8f77.tar.bz2 | |
Build and packages docs.
Diffstat (limited to 'rtems-release-defaults-4.10')
| -rwxr-xr-x | rtems-release-defaults-4.10 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtems-release-defaults-4.10 b/rtems-release-defaults-4.10 index c3a9ccc..12a13f6 100755 --- a/rtems-release-defaults-4.10 +++ b/rtems-release-defaults-4.10 @@ -32,4 +32,4 @@ # # The script is the defaults for 4.10. # -rtems_doc=no +rtems_docs=no |