branch: elpa/proof-general
commit 2376485828bbd6f151897fdac77dab84f360100e
Merge: 2145c23 0afa670
Author: Erik Martin-Dorel <e...@martin-dorel.org>
Commit: GitHub <nore...@github.com>
Merge pull request #628 from ProofGeneral/scratch-pkg-file
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")))
