[patch] Restore workaround for DOCS option (which was removed in r350986)
patch-docs.diff (text/plain), 573 bytes, created by Andriy Voskoboinyk on 2014-12-19 19:36:59 UTC
(hide)
 
Creator: Andriy Voskoboinyk
Created: 2014-12-19 19:36:59 UTC
Size: 573 bytes
Actions: View | Diff
Attachments on bug 191507: 144285 | 146450 | 148629 | 148630 | 150721 | 150788 | 172096 | 172097