[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[nongnu] elpa/proof-general c70d0732ca 01/10: Update Makefile
|
From: |
ELPA Syncer |
|
Subject: |
[nongnu] elpa/proof-general c70d0732ca 01/10: Update Makefile |
|
Date: |
Thu, 5 Sep 2024 07:01:19 -0400 (EDT) |
branch: elpa/proof-general
commit c70d0732caf24bcf7c24b2da8e8e557e5f34de21
Author: Jorge Gomez <jgart@dismail.de>
Commit: GitHub <noreply@github.com>
Update Makefile
---
Makefile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Makefile b/Makefile
index 4d8f51ccab..7a5df56023 100644
--- a/Makefile
+++ b/Makefile
@@ -57,7 +57,7 @@ ELISP_EXTRAS=
# to be installed
EXTRA_DIRS = images
-DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README doc/*.pdf
+DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README.md
doc/*.pdf
DOC_EXAMPLES=pgshell/*.pgsh phox/*.phx
DOC_SUBDIRS=${DOC_EXAMPLES} */README* */CHANGES */BUGS
- [nongnu] elpa/proof-general updated (c3e6c391e7 -> 734bcdb27f), ELPA Syncer, 2024/09/05
- [nongnu] elpa/proof-general 9c8cf89e81 02/10: EasyCrypt: add `ecall` keyword, ELPA Syncer, 2024/09/05
- [nongnu] elpa/proof-general 39f967e5ef 04/10: Change _CoqProject separator settings, ELPA Syncer, 2024/09/05
- [nongnu] elpa/proof-general 16b70c953c 05/10: Fix #781 PG does not position to error., ELPA Syncer, 2024/09/05
- [nongnu] elpa/proof-general c70d0732ca 01/10: Update Makefile,
ELPA Syncer <=
- [nongnu] elpa/proof-general 037baeafcb 06/10: Stripping hardwired command strings from trailing spaces., ELPA Syncer, 2024/09/05
- [nongnu] elpa/proof-general 11dcebe247 08/10: Merge pull request #784 from Columbus240/CoqProject, ELPA Syncer, 2024/09/05
- [nongnu] elpa/proof-general 1b89aa3611 09/10: Merge pull request #783 from ruipedro16/add-ecall-keyword, ELPA Syncer, 2024/09/05
- [nongnu] elpa/proof-general 05e3dc3ad4 03/10: Remove duplicate def. of `coq-looking-at-comment`, ELPA Syncer, 2024/09/05
- [nongnu] elpa/proof-general 734bcdb27f 10/10: Merge pull request #776 from jgarte/jgarte-patch-1, ELPA Syncer, 2024/09/05
- [nongnu] elpa/proof-general 067bffa4bb 07/10: Merge pull request #782 from Matafou/fix-no-strip-newlines, ELPA Syncer, 2024/09/05