This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
developersguide:trackingcurrent [2015/08/09 11:11] jeanbaptisteboric [What does it mean?] fix GitHub link to the git repository |
developersguide:trackingcurrent [2015/11/01 16:16] sergipasoev [Specific tools missing] |
||
---|---|---|---|
Line 72: | Line 72: | ||
Sometimes a new version of some upgraded tool is needed, or some operation should be performed for the automatic build to succeed. This is announced as new entries at the top of ''src/docs/UPDATING'', usually with the commands you need to type or the points you should be attentive to. | Sometimes a new version of some upgraded tool is needed, or some operation should be performed for the automatic build to succeed. This is announced as new entries at the top of ''src/docs/UPDATING'', usually with the commands you need to type or the points you should be attentive to. | ||
- | <!> **Please read //src/docs/UPDATING// before building a newer current system.** <!> | + | **Please read //src/docs/UPDATING// before building a newer current system.** |
===== Rebooting ===== | ===== Rebooting ===== |