[nongnu] elpa/proof-general 0afa670 1/2: proof-general-pkg.el: Let it be auto-generated

[ELPA Syncer]

branch: elpa/proof-general
commit 0afa6706d25f4c5c52c238573622d3b572aba417
Author: Stefan Monnier <monnier@iro.umontreal.ca>
Commit: Stefan Monnier <monnier@iro.umontreal.ca>

    proof-general-pkg.el: Let it be auto-generated
---
 .gitignore           | 3 ++-
 proof-general-pkg.el | 3 ---
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/.gitignore b/.gitignore
index 0af17ea..7bd11a2 100644
--- a/.gitignore
+++ b/.gitignore
@@ -2,7 +2,8 @@
 nohup.out
 TAGS
 ChangeLog
-proof-general-autoloads.el
+/proof-general-autoloads.el
+/proof-general-pkg.el
 *.elc
 *~
 /ci/.lia.cache
diff --git a/proof-general-pkg.el b/proof-general-pkg.el
deleted file mode 100644
index eb84269..0000000
--- a/proof-general-pkg.el
+++ /dev/null
@@ -1,3 +0,0 @@
-(define-package "proof-general" "4.5-git"
-  "A generic front-end for proof assistants (interactive theorem provers)"
-  '((emacs "25.1")))