4b3c243 version doc htmldirs again

Authored and Committed by petersen 9 years ago
    version doc htmldirs again
    
    haddock generates versioned cross-links anyway!
    
    This reverts commit c7830b0.
    
        
file modified
+5 -2
file modified
+2 -2