22324b9 Add fixes to install econftool and man pages

Authored and Committed by ngompa 2 years ago
    Add fixes to install econftool and man pages
    
        
file modified
+18 -0