From b9bc7cde3b13154357388e4a2469660107e70716 Mon Sep 17 00:00:00 2001
From: Michael Gielda <mgielda@antmicro.com>
Date: Mon, 28 Apr 2014 15:29:04 +0200
Subject: Update appendix A, fixes #8

---
 doc/source/appendix-a.rst | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/source/appendix-a.rst b/doc/source/appendix-a.rst
index 9c2eb74..2f36b9f 100644
--- a/doc/source/appendix-a.rst
+++ b/doc/source/appendix-a.rst
@@ -25,6 +25,10 @@ It also may be downloaded from `eCosCentric <http://www.ecoscentric.com/snapshot
 
    :program:`configtool` (just like :program:`ecosconfig`) is a 32bit application, thus if you are using a 64bit OS you have to provide 32bit run-time libraries for compatibility. In a Debian-based Linux distributions these could be installed using the command ``sudo apt-get install ia32-libs``.
 
+.. warning::
+
+   The official :program:`configtool` version given above was found not to work on Arch Linux and Fedora Linux distributions. In case of problems, you can try `a version from another source <https://github.com/flyskywhy/ecos-tools/raw/master/bin/configtool>`_ or `compile your own version <http://www.ecoscentric.com/devzone/configtool.shtml#linux>`_.
+
 Templates
 ---------
 
-- 
cgit v1.2.3