From 57c1619aacb0c0055aaa858788a9553902d9628f Mon Sep 17 00:00:00 2001
From: Vincent Danjean <Vincent.Danjean@ens-lyon.org>
Date: Wed, 16 Mar 2016 14:38:20 +0100
Subject: [PATCH] Remove duplicate line

Thanks to Markus Elfring for the notice
---
 src/Makefile | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Makefile b/src/Makefile
index 92dcc2f..1844fa7 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -34,8 +34,6 @@ all: generate
 
 .PHONY: all generate install
 
-SCRIPTS=figdepth.py gensubfig.py svg2dev.py svgdepth.py latexfilter.py
-
 GENFILES= figlatex.sty figlatex.cfg texgraphicx.sty \
 		pdfswitch.sty texdepends.sty \
 		LaTeX.mk LaTeX.mk.conf $(SCRIPTS)
-- 
GitLab