diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2022-12-25 20:29:58 -0800 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2022-12-25 20:29:58 -0800 |
| commit | 9c3f23beee87cebc522b85173551527fc11c0d50 (patch) | |
| tree | 042171fef113fa5c3646c4fd840d1c81f8fa0bc8 | |
| parent | 784dddcc482a8d33feaca1589bef8362cb458c1d (diff) | |
| download | gzip-9c3f23beee87cebc522b85173551527fc11c0d50.tar.gz | |
maint: expand tabs in previous patch
| -rw-r--r-- | README-hacking | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/README-hacking b/README-hacking index 5914a61..ef2f366 100644 --- a/README-hacking +++ b/README-hacking @@ -65,11 +65,11 @@ should output no difference. If you have already bootstrapped, you can redo it in two phases: - $ # 1. Fetch auxiliary files from the network. - $ ./autopull.sh + $ # 1. Fetch auxiliary files from the network. + $ ./autopull.sh $ - $ # 2. Generate files locally. - $ ./autogen.sh + $ # 2. Generate files locally. + $ ./autogen.sh Separating the phases can be useful for reproducible builds, and for appling local modifications between the two phases. |