diff options
Diffstat (limited to '')
| -rw-r--r-- | doc/gnu_docs/Tool_Doc_Instructions | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/gnu_docs/Tool_Doc_Instructions b/doc/gnu_docs/Tool_Doc_Instructions index 85ac79d8fc..7c2890982b 100644 --- a/doc/gnu_docs/Tool_Doc_Instructions +++ b/doc/gnu_docs/Tool_Doc_Instructions @@ -34,6 +34,8 @@ make info dvi cd ../newlib-1.8.2 find newlib/ -name "*.t*" | cpio -pdum ../b/i386-rtems/ find etc/ -name "*.t*" | cpio -pdum ../b +cd ../b +# run the script |