Docs: clarify distinction between config file and Makefile, for log_file_path. Bug...
authorJeremy Harris <jgh146exb@wizmail.org>
Sun, 8 May 2022 13:01:03 +0000 (14:01 +0100)
committerJeremy Harris <jgh146exb@wizmail.org>
Sun, 8 May 2022 13:01:03 +0000 (14:01 +0100)
commitdae17adc827cb536c485637680adde4facae8a78
tree86f41148a19c91cbd5d1ead2c961e080c11a00d2
parent6d8e1b63fda70bb4153034870cc8b68f9011d0e1
Docs: clarify distinction between config file and Makefile, for log_file_path.  Bug 2825
doc/doc-docbook/spec.xfpt