From 0ef6ba7b28187a4bf5309f9702eeaf53a281204b Mon Sep 17 00:00:00 2001 From: Ian Lynagh Date: Sat, 30 May 2009 22:00:21 +0000 Subject: Quote commands that we run, so they work if there are space in their paths I've also added some missing $s to some makefiles. These aren't technically necessary, but it's nice to be consistent. --- docs/users_guide/ghc.mk | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'docs/users_guide/ghc.mk') diff --git a/docs/users_guide/ghc.mk b/docs/users_guide/ghc.mk index 6d9b275503..ceb6db4d36 100644 --- a/docs/users_guide/ghc.mk +++ b/docs/users_guide/ghc.mk @@ -28,6 +28,6 @@ src_ug_book = $(dir $(realpath $(dir $(build_ug_book))/ug-book.xml.in))ug-book. ifneq "$(build_ug_book)" "$(src_ug_book)" $(src_ug_book) : $(build_ug_book) - $(CP) $< $@ + "$(CP)" $< $@ docs/users_guide/users_guide.pdf docs/users_guide/users_guide.ps: $(src_ug_book) endif -- cgit v1.2.1