run_spec(__dirname, ["html"], { requirePragma: true });