Improve logging and error statistics
Created by: lahwaacz
-
update.py
should log manuals where no description was found (also count such manuals) -
when dirname section (e.g. "man3" → 3) does not match the extension section (e.g. "man.7.gz" → 7)
Edited by Jakub Klinkovský