diff options
Diffstat (limited to 'usr/src/tools/Makefile')
| -rw-r--r-- | usr/src/tools/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/usr/src/tools/Makefile b/usr/src/tools/Makefile index ab5b638510..64bd18f4e0 100644 --- a/usr/src/tools/Makefile +++ b/usr/src/tools/Makefile @@ -75,6 +75,7 @@ UNSHIPPED_SUBDIRS = \ $(SGSLIBLD) \ $(SGSLD) \ localedef \ + man \ mandoc \ rpcgen \ tic \ |