blob: bc4748de98fc057000ae250fbc57235c55e632f3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
--- 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 \
|