In HTML output, allow switching the desired font for subsequent

[mandoc.git] / test-EFTYPE.c

#include <errno.h>

int
main(void)
{
        return !EFTYPE;
}