K 10
svn:author
V 5
danfe
K 8
svn:date
V 27
2012-11-13T13:56:37.816543Z
K 7
svn:log
V 139
- Add DOCS knob to OPTIONS_DEFINE
- Drop no longer relevant adjustment of ltmain.sh
- Move PATCH_STRIP downstairs a bit

Feature safe:	yes

END