From cf1142801b902a53350b2b1afff15b5e22362691 Mon Sep 17 00:00:00 2001 From: Guangshuo Chen <chengs@users.noreply.github.com> Date: Fri, 16 Feb 2018 12:07:27 +0100 Subject: [PATCH] Update Makefile --- source/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/source/Makefile b/source/Makefile index 59d6f59..19df88d 100644 --- a/source/Makefile +++ b/source/Makefile @@ -24,7 +24,7 @@ MAKEINDEX:=makeindex -q -s gind.ist -o OUTPUT:=>/dev/null 2>&1 PKGDIR:=$(shell kpsewhich --show-path=ls-R | tr : '\n' | grep texmf | grep local | head -n1) POLYPKGDIR:=$(PKGDIR)/tex/latex/polytechnique -DTXFILES:=$(shell find -name '*.dtx') +DTXFILES:=$(shell find . -name '*.dtx') GENFILES:=$(patsubst %.dtx,%.pdf,$(DTXFILES)) $(patsubst %.dtx,%.sty,$(DTXFILES)) all: package -- GitLab