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