fix: `DOCGEN_SOURCE` -> `DOCGEN_SRC` to match code in README - Githubissues

leanprover / doc-gen4

Document Generator for Lean 4

Apache License 2.0

62 stars 41 forks source link

fix: `DOCGEN_SOURCE` -> `DOCGEN_SRC` to match code in README #174

Closed jesse-michael-han closed 8 months ago