doc/*.info
