* doc/html/manual/errno.html: Add new file.