X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=README;h=610ba69a663de7597d23ae09c39f340cbc34c492;hb=09a1e803a9e6587c78d20cdf16891e5295874668;hp=90052eed5594825f7b2f29b956265b1a3fbf78c3;hpb=18a684bf3dc144c48fc4cc6cc72f5070febd8074;p=debian%2Fgnuradio

diff --git a/README b/README
index 90052eed..610ba69a 100644
--- a/README
+++ b/README
@@ -5,7 +5,7 @@
 # 
 # GNU Radio is free software; you can redistribute it and/or modify
 # it under the terms of the GNU General Public License as published by
-# the Free Software Foundation; either version 2, or (at your option)
+# the Free Software Foundation; either version 3, or (at your option)
 # any later version.
 # 
 # GNU Radio is distributed in the hope that it will be useful,
@@ -201,6 +201,10 @@ available.
 As a last resort, build it from source (not recommended!)
 http://www.wxpython.org
 
+(11) xmlto version ? or later.   http://cyberelk.net/tim/xmlto/index.html
+
+Wrapper for XML conversion tools to ease e.g. making html from docbook.
+
 
 ----------------------------------------------------------------