--- metamath.orig/Makefile.am	2020-01-27 20:43:55.650195602 +0900
+++ metamath/Makefile.am	2020-01-27 20:44:18.876578014 +0900
@@ -36,14 +36,6 @@
 	mmwtex.c \
 	$(noinst_HEADERS)
 
-dist_pkgdata_DATA = \
-	big-unifier.mm \
-	demo0.mm \
-	miu.mm \
-	peano.mm \
-	ql.mm \
-	set.mm
-
 
 EXTRA_DIST = \
 	LICENSE.TXT \