docs: fix public header include directory version
authorMichael Wallner <mike@php.net>
Mon, 28 Dec 2020 14:58:03 +0000 (15:58 +0100)
committerMichael Wallner <mike@php.net>
Mon, 28 Dec 2020 14:58:03 +0000 (15:58 +0100)
commit695c7a38d3d4c3b5a690803c74c81b8ca04f51ef
tree94f8c6a92cd56d50d16a8a70367574ea6c9f5c13
parentcba80dc4c3ead5095dc3af86dbf30b0f5750d551
docs: fix public header include directory version
docs/conf.py.in