search

ProofGeneral / PG

This repo is the new home of Proof General
https://proofgeneral.github.io
GNU General Public License v3.0
491 stars 88 forks source link

Update Makefile #776

Closed jgarte closed 2 months ago

jgarte commented 4 months ago

Hi,

The README file is called "README.md", but the Make variable "DOC_FILES" still refers to "README".

WDYT