diff --git a/src/etc/Makefile b/src/etc/Makefile
index 23f82113..4d2c83b4 100644
--- a/src/etc/Makefile
+++ b/src/etc/Makefile
@@ -1,4 +1,4 @@
-#	$OpenBSD: Makefile,v 1.344 2014/01/24 03:36:07 deraadt Exp $
+#	$OpenBSD: Makefile,v 1.345 2014/01/25 20:23:53 deraadt Exp $
 
 TZDIR=		/usr/share/zoneinfo
 LOCALTIME=	Canada/Mountain
@@ -177,8 +177,6 @@ distribution-etc-root-var: distrib-dirs
 		    ${DESTDIR}/etc/ppp; \
 		${INSTALL} -c -o root -g wheel -m 600 options \
 		    ${DESTDIR}/etc/ppp; \
-		${INSTALL} -c -o root -g wheel -m 600 options.leaf \
-		    ${DESTDIR}/etc/ppp; \
 		${INSTALL} -c -o root -g wheel -m 600 options.sample \
 		    ${DESTDIR}/etc/ppp; \
 		${INSTALL} -c -o root -g wheel -m 600 chatscript.sample \
diff --git a/src/etc/ppp/options.leaf b/src/etc/ppp/options.leaf
deleted file mode 100644
index 4b67b6a0..00000000
--- a/src/etc/ppp/options.leaf
+++ /dev/null
@@ -1 +0,0 @@
-lock