From b0cc783f8545c563a246adee51a99ff6bfcdfd50 Mon Sep 17 00:00:00 2001 From: Nick White Date: Tue, 14 Sep 2010 12:08:34 +0100 Subject: Stop relying on gnu extensions to ls --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 9e82a32..112e96c 100644 --- a/Makefile +++ b/Makefile @@ -24,7 +24,7 @@ $(PUBS:.txt=.tex): includes/header.tex includes/footer.tex echo making $@ sed "s/TITLE/`head -n 1 < $<`/" < includes/header.xml > $@ $(MD) $< >> $@ - sed "s/MODDATE/`ls -lc --time-style=+%Y-%m-%d $<|awk '{print $$6}'`/" < includes/footer.xml >> $@ + sed "s/MODDATE/`stat -c %y $<|awk '{print $$1}'`/" < includes/footer.xml >> $@ # TODO: clean up sed here .txt.tex: -- cgit v1.2.3