From e9b5dec14dcb6410a0e5d70e2514bcd16dbc38fd Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 14 May 2013 04:36:20 +0200 Subject: m MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 37461b4..dc17347 100644 --- a/Makefile +++ b/Makefile @@ -13,7 +13,7 @@ doc: info info: splashtool.info.gz -%.info.gz: info/%.texinfo.install +%.info.gz: info/%.texinfo makeinfo "$<" gzip -9 -f "$*.info" -- cgit v1.2.3-70-g09d2