From 55b5c7711b83d32c01b4be3c3e67d0bc3184fbab Mon Sep 17 00:00:00 2001
From: Patrick Elliott <patrick.d.elliott@gmail.com>
Date: Wed, 15 Aug 2018 08:34:21 +0200
Subject: [PATCH] Updated readme

---
 modules/lang/coq/README.org | 10 ----------
 1 file changed, 10 deletions(-)

diff --git a/modules/lang/coq/README.org b/modules/lang/coq/README.org
index 1a59ea85a..680555966 100644
--- a/modules/lang/coq/README.org
+++ b/modules/lang/coq/README.org
@@ -1,13 +1,3 @@
 #+TITLE: :lang coq
 
 This module adds [[https://coq.inria.fr][coq]] support, powered by [[https://proofgeneral.github.io][Proof General]], with code completion via [[https://github.com/cpitclaudel/company-coq][company-coq]].
-
-* Install
-Unfortunately, Proof General needs to be installed manually.
-
-#+BEGIN_SRC sh
-git clone https://github.com/ProofGeneral/PG $PG-LOC && cd $PG-LOC
-make
-#+END_SRC
-
-Manually set the variable ~+coq-pg-loc~ to the value of $PG-LOC in your doom config.