Update FAQ_DEV.

diff --git a/doc/FAQ_DEV b/doc/FAQ_DEV
index 93be4bb2a38bf24f4e8b4bf92ba7acc74bdf59db..0de0d6407c9b5e387319bad81045faf6182e76ba 100644 (file)
--- 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 792446a1ac4084ddb609a6a4af1d2b31d8ceffc4..3b302172184f52716aa5066d5f5c9360f3e8ccdb 100644 (file)
--- a/doc/src/FAQ/FAQ_DEV.html
+++ b/doc/src/FAQ/FAQ_DEV.html
@@ -50,7 +50,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?