[patch] Exclude doc dir from build when DOCS option is off
patch-docs.diff (text/plain), 1.92 KB, created by Andriy Voskoboinyk on 2014-08-28 14:05:31 UTC
(hide)
 
Creator: Andriy Voskoboinyk
Created: 2014-08-28 14:05:31 UTC
Size: 1.92 KB
Actions: View | Diff
Attachments on bug 191507: 144285 | 146450 | 148629 | 148630 | 150721 | 150788 | 172096 | 172097