3b86ae2 - resolves: #841431

Authored and Committed by Peter Schiffer 11 years ago
    - resolves: #841431
      ignore cached man pages if they don't exist anymore
    
        
file modified
+7 -1