From 9ed7237110b08e173dd0443b3dc2ae149a1c4efb Mon Sep 17 00:00:00 2001
From: Bruce Momjian <bruce@momjian.us>
Date: Sat, 9 Dec 2000 04:57:31 +0000
Subject: [PATCH] Update FAQ_DEV.

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

diff --git a/doc/FAQ_DEV b/doc/FAQ_DEV
index 93be4bb2a3..0de0d6407c 100644
--- a/doc/FAQ_DEV
+++ b/doc/FAQ_DEV
@@ -27,7 +27,7 @@
    11) What is configure all about?
    12) How do I add a new port?
    13) What is CommandCounterIncrement()?
-   13) Why don't we use threads in the backend?
+   14) Why don't we use threads in the backend?
      _________________________________________________________________
    
   1) What tools are available for developers?
diff --git a/doc/src/FAQ/FAQ_DEV.html b/doc/src/FAQ/FAQ_DEV.html
index 792446a1ac..3b30217218 100644
--- a/doc/src/FAQ/FAQ_DEV.html
+++ b/doc/src/FAQ/FAQ_DEV.html
@@ -50,7 +50,7 @@
      <A href="#11">11</A>) What is configure all about?<BR>
      <A href="#12">12</A>) How do I add a new port?<BR>
      <A href="#13">13</A>) What is CommandCounterIncrement()?<BR>
-     <A href="#14">13</A>) Why don't we use threads in the backend?<BR>
+     <A href="#14">14</A>) Why don't we use threads in the backend?<BR>
      <BR>
      
     <HR>