From 28aeb0a019093e4290b63c77bfa17b220ea174fc Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Wed, 11 Jul 2001 02:13:20 +0000
Subject: [PATCH] Update FAQ_DEV.

---
 doc/FAQ_DEV              | 3 ++-
 doc/src/FAQ/FAQ_DEV.html | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/doc/FAQ_DEV b/doc/FAQ_DEV
index 0de0d6407c..9481c36b38 100644
--- 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
diff --git a/doc/src/FAQ/FAQ_DEV.html b/doc/src/FAQ/FAQ_DEV.html
index 3b30217218..179f616843 100644
--- 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
-- 
2.40.0