diff options
Diffstat (limited to 'tools/Makefile')
| -rw-r--r-- | tools/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/Makefile b/tools/Makefile index c31437e6a2..686840a03c 100644 --- a/tools/Makefile +++ b/tools/Makefile @@ -21,7 +21,7 @@ # MA 02111-1307 USA # -TOOLSUBDIRS = +TOOLSUBDIRS = kernel-doc # # Include this after HOSTOS HOSTARCH check |