From: Clifford Wolf <clifford@clifford.at>
Date: Thu, 21 Sep 2017 00:02:31 +0000 (+0200)
Subject: Remove AIGER from install section
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=27da852e385e46570d45bc02f49ffa9a7c138afa;p=SymbiYosys.git

Remove AIGER from install section
---

diff --git a/docs/source/quickstart.rst b/docs/source/quickstart.rst
index 19e8668..a2645a6 100644
--- a/docs/source/quickstart.rst
+++ b/docs/source/quickstart.rst
@@ -122,14 +122,6 @@ http://fmv.jku.at/boolector/
    make
    sudo cp boolector/bin/boolector /usr/local/bin/boolector
 
-Other packages
-~~~~~~~~~~~~~~
-
-Until I find the time to write install guides for the following packages, this
-links must suffice:
-
-  * AIGER: http://fmv.jku.at/aiger/
-
 First step: A simple BMC example
 --------------------------------