diff options
| author | Christopher Baines <mail@cbaines.net> | 2025-05-12 15:54:52 +0100 |
|---|---|---|
| committer | Christopher Baines <mail@cbaines.net> | 2025-05-12 15:54:52 +0100 |
| commit | 8a7e623eeb6eef189652da3a4792ca494b80d920 (patch) | |
| tree | 94eef56773f804bcec04ea23df87fdbc6a74a445 /gnu | |
| parent | bf11e3327b64dbaaab9b6a688f2f1f9871c9d63d (diff) | |
doc: build.scm: Handle (current-source-directory) being #f.
Since this seems to be the case when the devel manual is being built on
bayfront.
* doc/build.scm: Use the current working directory as a fallback
if (current-source-directory) is #f, and log the value of root.
Change-Id: Ic43fd05a4a0822d9efb935069850f0a8cadd80aa
Diffstat (limited to 'gnu')
0 files changed, 0 insertions, 0 deletions