From 2a42ef1436709cee0c7a97b2416f1c68ef8cd7d0 Mon Sep 17 00:00:00 2001 From: Mattias Andrée Date: Tue, 17 Jun 2014 23:53:55 +0200 Subject: change gpp symbols to ascii MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Signed-off-by: Mattias Andrée --- Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 3079635..d635b18 100644 --- a/Makefile +++ b/Makefile @@ -129,7 +129,7 @@ obj/lib/%.o: obj/lib/%.c src/lib/*.h obj/%: src/%.gpp src/extract/libgamma-*-extract mkdir -p $(shell dirname $@) - $(GPP) --symbol '£' --input $< --output $@ + $(GPP) --symbol '$$' --input $< --output $@ .PHONY: test @@ -150,7 +150,7 @@ doc: info pdf dvi ps obj/libgamma.texinfo: info/libgamma.texinfo $(foreach H,$(HEADERS_INFO),src/lib/$(H).h) \ src/extract/libgamma-*-extract info/texise info/behead mkdir -p obj - $(GPP) --symbol '£' --input $< --output $@ + $(GPP) --symbol '%' --input $< --output $@ obj/%.texinfo: info/%.texinfo mkdir -p obj -- cgit v1.2.3-70-g09d2