diff options
author | P. J. McDermott <pjm@nac.net> | 2012-10-11 14:37:41 (EDT) |
---|---|---|
committer | P. J. McDermott <pjm@nac.net> | 2012-10-11 14:39:50 (EDT) |
commit | 3879c4c737b5903129b27a149ed5d7a632bbb3b0 (patch) | |
tree | eb19ef38a53ed7b58f3d80d26b54ba1f496fd2c4 /src/oh-strip.sh | |
parent | e16054ac6d09feff4595ed8d15c3376ea053fbe0 (diff) |
Run mkdir in ob-installdocs only if necessary.
Diffstat (limited to 'src/oh-strip.sh')
0 files changed, 0 insertions, 0 deletions