Forgot to convert demandoc along with mandoc