Update FAQ_DEV.

25 years ago · 28aeb0a019
parent 6d5a9d05e0
commit 28aeb0a019
2 changed files with 4 additions and 2 deletions
--- a/doc/FAQ_DEV
+++ b/doc/FAQ_DEV
@ -80,7 +80,8 @@
   glimpse.
   
   make_diff has tools to create patch diff files that can be applied to
-   the distribution.
+   the distribution. This produces context diffs, which is our preferred
+   format.
   
   Our standard format is to indent each code level with one tab, where
   each tab is four spaces. You will need to set your editor to display
--- a/doc/src/FAQ/FAQ_DEV.html
+++ b/doc/src/FAQ/FAQ_DEV.html
@ -112,7 +112,8 @@
    Others prefer <I>glimpse.</I> 

    <P><I>make_diff</I> has tools to create patch diff files that can
-    be applied to the distribution.</P>
+    be applied to the distribution.  This produces context diffs, which
+    is our preferred format.</P>

    <P>Our standard format is to indent each code level with one tab,
    where each tab is four spaces. You will need to set your editor to