diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/users_guide/ghc.mk | 2 |
1 files changed, 1 insertions, 1 deletions
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 |