diff options
| author | antrik <antrik@users.sf.net> | 2011-08-04 02:43:29 +0200 |
|---|---|---|
| committer | antrik <antrik@users.sf.net> | 2011-08-04 02:43:58 +0200 |
| commit | 9441f7dc189d8489f13b9072b866aa75f9409d0f (patch) | |
| tree | 45b29f0dae8bb22be77000131895063d6c0b1860 /hurd-paper.html | |
| parent | e0f350c7d6e3af901097e43fe2c1bc0efb237f60 (diff) | |
mach/building: Rearrange bit about installing header files
Instead of treating all the build preparations as part of the header
install, make them part of the general build instructions; and only
separately mention the specific bit about actually installing the
headers.
This should make the overall build process easier to follow; and also
makes it clearer which bit can be left out if installing the headers is
not necessary.
Diffstat (limited to 'hurd-paper.html')
0 files changed, 0 insertions, 0 deletions