Hello Michael, a while ago I noticed that every time make is run a new empty file would be created in /tmp. This has been annoying me since, so I decided to have a look. The first patch fixes this problem; the file is crated only for "make check-groff-warnings" where it is needed. While at it, I improved various bits for that target (in patch 2). Finally, the last 2 patches are purely cosmetic trivial changes. I also noticed that check-groff-warnings works only with man-db. I happened to test it on a box with plain man and got a usage error for every man page. I haven't included a patch to silence these errors, since the old man has no equivalent for the --warnings option, and so I think it doesn't make sense to support it, you'd get the default warnings only. But if you like, I can provide a patch. Regards, Alex --- Alexander Miller (4): Makefile: Don't leave $(GROFF_LOG) files behind Makefile: Improve recipe for "check-groff-warnings" target Makefile: wsfix (trailing space) Makefile: Remove line continuation at end of "install" recipe Makefile | 18 +++++++++--------- 1 file changed, 9 insertions(+), 9 deletions(-) -- 2.7.3 -- To unsubscribe from this list: send the line "unsubscribe linux-man" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
