From 8f1fcf7f68cfd450c4374524a16a92bf610edc9c Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Mon, 9 Mar 2020 12:04:08 -0400
Subject: [PATCH] GNUmakefile: don't repeat BIBPATHS and MJOTEXPATHS in "make
 dist".

The variables $BIBPATHS and $MJOTEXPATHS are already appended to $SRCS
when needed, and $SRCS is handled by "make dist."
---
 GNUmakefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/GNUmakefile b/GNUmakefile
index 3369c9c..25ae089 100644
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -244,4 +244,4 @@ clean:
 .PHONY: dist
 dist: $(PN).bbl
 	mkdir -p dist
-	cp $(SRCS) $(PN).bbl $(BIBPATHS) $(MJOTEXPATHS) dist/
+	cp $(SRCS) $(PN).bbl dist/
-- 
2.43.2