| changeset 10556 | e574274823a4 |
| parent 10162 | 947b7b8b0a69 |
| child 11062 | e86340dc1d28 |
| 10555:2323ec838401 | 10556:e574274823a4 |
|---|---|
110 |
110 |
111 <p> |
111 <p> |
112 |
112 |
113 <tt> |
113 <tt> |
114 <!-- _GP_ "cd /usr/local/" . distname --> <br> |
114 <!-- _GP_ "cd /usr/local/" . distname --> <br> |
115 ./configure <br> |
|
116 ./bin/isatool install -p /usr/local/bin <br> |
115 ./bin/isatool install -p /usr/local/bin <br> |
117 </tt> |
116 </tt> |
118 |
117 |
119 <p> |
118 <p> |
120 |
119 |