247595b Don't install stuff that ends in the doc directory

Authored and Committed by bruno 6 years ago
1 file changed. 0 lines added. 2 lines removed.
    Don't install stuff that ends in the doc directory
    
        
file modified
+0 -2