From b9182be1cd056618313622b676e44f681969fc9f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=BCrgen=20Buchm=C3=BCller?= <pullmoll@t-online.de>
Date: Tue, 28 Jan 2020 12:47:51 +0100
Subject: [PATCH] ProofGeneral: needs which in hostmakedepends

---
 srcpkgs/ProofGeneral/template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/srcpkgs/ProofGeneral/template b/srcpkgs/ProofGeneral/template
index ac70c288c6..208e58f8d6 100644
--- a/srcpkgs/ProofGeneral/template
+++ b/srcpkgs/ProofGeneral/template
@@ -5,7 +5,7 @@ revision=2
 wrksrc="PG-${version}"
 archs=noarch
 build_style=gnu-makefile
-hostmakedepends="emacs"
+hostmakedepends="emacs which"
 depends="emacs perl"
 short_desc="Generic Emacs front-end for proof assistants"
 maintainer="Leah Neukirchen <leah@vuxu.org>"