branch: main
commit ffb3e2eecfe287ac27d57023ed7214f1f589f900
Author: Stefan Monnier <monn...@iro.umontreal.ca>
Commit: Stefan Monnier <monn...@iro.umontreal.ca>
* elpa-packages (proof-general): Add :doc
---
elpa-packages | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/elpa-packages b/elpa-packages
index 4a55399..3e6d9cd 100644
--- a/elpa-packages
+++ b/elpa-packages
@@ -137,7 +137,8 @@
("proof-general" :url "https://github.com/ProofGeneral/PG";
:ignored-files ("ci")
- :news "CHANGES")
+ :news "CHANGES"
+ :doc "doc/ProofGeneral.texi")
("request" :url "https://github.com/tkf/emacs-request";
:ignored-files ("tests" "doc" "COPYING"))
