diff options
| author | Joel Sherrill <joel.sherrill@oarcorp.com> | 2012-05-15 15:54:07 -0500 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@oarcorp.com> | 2012-05-15 15:54:07 -0500 |
| commit | 46cff6996157d1e79eaac8aba4c885c6da49b85d (patch) | |
| tree | df0e853e720ae4dc5e8dfdfede46c911da12ef2a /rtems | |
| parent | c912158026fb8801aa2e4e1ab2b002feaed68cd4 (diff) | |
bit_docs - Add missing file
Diffstat (limited to 'rtems')
| -rwxr-xr-x | rtems/bit_docs | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/rtems/bit_docs b/rtems/bit_docs new file mode 100755 index 0000000..cf4352b --- /dev/null +++ b/rtems/bit_docs @@ -0,0 +1,11 @@ + +PWD=`pwd` +cd $r/doc +../bootstrap +cd - +mkdir b-docs +cd b-docs +$r/doc/configure && cd tools && make && \ + cd .. && make info && make +cd .. +rm -rf b-docs |