From 668335d003ce730a96abe437cf4cba065824dec6 Mon Sep 17 00:00:00 2001
From: Leah Neukirchen <leah@vuxu.org>
Date: Fri, 28 Apr 2023 13:51:29 +0200
Subject: [PATCH] ProofGeneral: removed, use from ELPA.

---
 srcpkgs/ProofGeneral/template | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 srcpkgs/ProofGeneral/template

diff --git a/srcpkgs/ProofGeneral/template b/srcpkgs/ProofGeneral/template
deleted file mode 100644
index 64cac654165..00000000000
--- a/srcpkgs/ProofGeneral/template
+++ /dev/null
@@ -1,17 +0,0 @@
-# Template file for 'ProofGeneral'
-pkgname=ProofGeneral
-version=4.5
-revision=1
-build_style=gnu-makefile
-hostmakedepends="emacs which"
-depends="emacs perl"
-short_desc="Generic Emacs front-end for proof assistants"
-maintainer="Leah Neukirchen <leah@vuxu.org>"
-license="GPL-2.0-only"
-homepage="https://proofgeneral.github.io/"
-distfiles="https://github.com/ProofGeneral/PG/archive/v${version}.tar.gz"
-checksum=b408ab943cfbfe4fcb0d3322f079f41e2a2d29b50cf0cc704fbb4d5e6c26e3a2
-
-do_install() {
-	make install DESTDIR=${DESTDIR}
-}