99b5ee0 New upstream release.

Authored and Committed by jjames 7 years ago
    New upstream release.
    
    Also:
    - Remove obsolete scriptlets.
    - Fix install path for coqdoc.sty.
    
        
file modified
+1 -0
file modified
+8 -24
file modified
+1 -1