make/Images.gmk
changeset 47224 e81f9ee4df7f
parent 47217 72e3ae9a25eb
child 47253 92fd0e04e0e1
--- a/make/Images.gmk	Wed Sep 20 16:41:54 2017 -0700
+++ b/make/Images.gmk	Thu Sep 21 16:29:18 2017 +0800
@@ -223,7 +223,6 @@
       jstack.1 \
       jstat.1 \
       jstatd.1 \
-      policytool.1 \
       rmic.1 \
       schemagen.1 \
       serialver.1 \