diff options
| author | Joachim Breitner <mail@joachim-breitner.de> | 2014-06-07 09:57:32 +0200 |
|---|---|---|
| committer | Joachim Breitner <mail@joachim-breitner.de> | 2014-06-07 09:57:32 +0200 |
| commit | ab3f95bdfc5c001c7dd3158c52bad604d28aabf3 (patch) | |
| tree | 6ebfd642b1e6e7631f38ef4342aa6437dfc8421e /docs | |
| parent | fbdebd30b9ff3ca76243791723b85959c6860083 (diff) | |
| download | haskell-ab3f95bdfc5c001c7dd3158c52bad604d28aabf3.tar.gz | |
s/-hi-diffs/-ddump-hi-diffs/ in docs (#9179)
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/gone_wrong.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/users_guide/gone_wrong.xml b/docs/users_guide/gone_wrong.xml index 114b06cfd6..bb5fcb0d4e 100644 --- a/docs/users_guide/gone_wrong.xml +++ b/docs/users_guide/gone_wrong.xml @@ -146,7 +146,7 @@ <emphasis>must</emphasis> be re-compiled.</para> <para>A useful option to alert you when interfaces change is - <option>-hi-diffs</option><indexterm><primary>-hi-diffs + <option>-ddump-hi-diffs</option><indexterm><primary>-ddump-hi-diffs option</primary></indexterm>. It will run <command>diff</command> on the changed interface file, before and after, when applicable.</para> @@ -167,7 +167,7 @@ <screen> % rm *.o # scrub your object files -% make my_prog # re-make your program; use -hi-diffs to highlight changes; +% make my_prog # re-make your program; use -ddump-hi-diffs to highlight changes; # as mentioned above, use -dcore-lint to be more paranoid % ./my_prog ... # retry... </screen> |