X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fghc.mk;h=ceb6db4d36e03b1785aa6140208d8663e7667dd9;hb=0ef6ba7b28187a4bf5309f9702eeaf53a281204b;hp=492df2d65e2480d9c4d80c192f2c54713c6a6f3c;hpb=7e9d402750416618b449cdb5126b914ce5f2fd0c;p=ghc-hetmet.git diff --git a/docs/users_guide/ghc.mk b/docs/users_guide/ghc.mk index 492df2d..ceb6db4 100644 --- a/docs/users_guide/ghc.mk +++ b/docs/users_guide/ghc.mk @@ -23,11 +23,11 @@ $(eval $(call docbook,docs/users_guide,users_guide)) # tree. This is a horrible hack, but I can't find a better way to do # it --SDM (2009-05-11) -build_ug_book = $(TOP)/docs/users_guide/ug-book.xml +build_ug_book = docs/users_guide/ug-book.xml src_ug_book = $(dir $(realpath $(dir $(build_ug_book))/ug-book.xml.in))ug-book.xml ifneq "$(build_ug_book)" "$(src_ug_book)" $(src_ug_book) : $(build_ug_book) - $(CP) $< $@ -docs/users_guide/users_guide.pdf: $(src_ug_book) + "$(CP)" $< $@ +docs/users_guide/users_guide.pdf docs/users_guide/users_guide.ps: $(src_ug_book) endif