From 990ba837d33d18b8c77b83ee951ad978008b1612 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 26 Mar 2013 17:58:44 +0100
Subject: [PATCH] * NEWS: mention doc/org/ and doc/userdoc/

---
 NEWS | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/NEWS b/NEWS
index 2951d434c..81739536f 100644
--- a/NEWS
+++ b/NEWS
@@ -35,6 +35,13 @@ New in spot 1.0.2a (not released):
       flag to fine-tune the algorithms used.   The available options
       are documented in the spot-x (7) manpage.
 
+  * Documentation
+
+    - org-mode files used to generate the documentation about
+      command-line tools (shown at http://spot.lip6.fr/userdoc/tools.html)
+      is distributed in doc/org/.  The resulting html files are also
+      in doc/userdoc/.
+
 New in spot 1.0.2 (2013-03-06):
 
   * New features: