branch: elpa/proof-general
commit 0afa6706d25f4c5c52c238573622d3b572aba417
Author: Stefan Monnier <monn...@iro.umontreal.ca>
Commit: Stefan Monnier <monn...@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")))
