record=1
summary=mandocs does lots of unneeded builds
description="""At the kernel source root directory, if I do:

$ make mandocs
$ touch Documentation/DocBook/device-drivers.tmpl
$ make mandocs

The second command runs for about 25 minutes

this may be related to if_changed_rule, FORCE, and make version 3.81

See this message on the gnu.org bug mailing list for make (from 2006):
http://lists.gnu.org/archive/html/bug-make/2006-03/msg00003.html
"""
status=open