aboutsummaryrefslogtreecommitdiff
path: root/doc/doc-prologue.xhtml
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2018-11-06 10:01:48 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2018-11-06 10:01:48 +0200
commit21b440f8d1dbfe7ba38a571add298262c26eeb34 (patch)
tree1f54401f4aa7d84d1f656bcf8847d5ef36a8d226 /doc/doc-prologue.xhtml
parentbe2774dd81da77661511280fda868a02e4be87eb (diff)
Ignore non-existent /usr/local/{include/,lib/}
This should fix some bizarre yo-yo'ing cases where uninstall removes the directories which in turn triggers a rebuild on the next invocation.
Diffstat (limited to 'doc/doc-prologue.xhtml')
0 files changed, 0 insertions, 0 deletions