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."

diff --git a/GNUmakefile b/GNUmakefile
index 3369c9ce36171423c9707bee884447446fb02e98..25ae0893c57ccac77cf8154db73c19a4b8ad8abd 100644 (file)
--- 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/