diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2019-06-06 12:28:13 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2019-06-06 12:28:13 +0200 |
commit | 679dee2d851a67250e4a24a61da249565d478b9d (patch) | |
tree | 2968743bb74704ea7ca740670533c680b1344ace /doc/doc-prologue.xhtml | |
parent | 952c3b41399247615fe3a3c6e5109199aacf73b5 (diff) |
Redo header path normalization/realization logic
We now try to use the normalized path (which preserves symlinks) if possible
and fall back to realized otherwise.
Diffstat (limited to 'doc/doc-prologue.xhtml')
0 files changed, 0 insertions, 0 deletions