unofficial mirror of guix-patches@gnu.org 
 help / color / mirror / code / Atom feed
blob bc4748de98fc057000ae250fbc57235c55e632f3 315 bytes (raw)
name: gnu/packages/patches/metamath-remove-missing-file-refs.patch 	 # note: path name is non-authoritative(*)

 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 \

debug log:

solving bc4748de98 ...
found bc4748de98 in https://yhetil.org/guix-patches/3JR2ES0G0DYM2.3NI13ZSG185CK@wilsonb.com/

applying [1/1] https://yhetil.org/guix-patches/3JR2ES0G0DYM2.3NI13ZSG185CK@wilsonb.com/
diff --git a/gnu/packages/patches/metamath-remove-missing-file-refs.patch b/gnu/packages/patches/metamath-remove-missing-file-refs.patch
new file mode 100644
index 0000000000..bc4748de98

1:10: space before tab in indent.
 	mmwtex.c \
1:11: space before tab in indent.
 	$(noinst_HEADERS)
1:12: trailing whitespace.
 
1:21: trailing whitespace.
 
1:23: space before tab in indent.
 	LICENSE.TXT \
Checking patch gnu/packages/patches/metamath-remove-missing-file-refs.patch...
Applied patch gnu/packages/patches/metamath-remove-missing-file-refs.patch cleanly.
warning: 5 lines add whitespace errors.

index at:
100644 bc4748de98fc057000ae250fbc57235c55e632f3	gnu/packages/patches/metamath-remove-missing-file-refs.patch

(*) Git path names are given by the tree(s) the blob belongs to.
    Blobs themselves have no identifier aside from the hash of its contents.^

Code repositories for project(s) associated with this public inbox

	https://git.savannah.gnu.org/cgit/guix.git

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).