X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=docs%2Fusers_guide%2Fghc.mk;h=ceb6db4d36e03b1785aa6140208d8663e7667dd9;hb=c8ef1c4a3da7b86516866d8e30e81ef4f9a06041;hp=644f381b06455722e2cdf73cdbc362c2806ad73e;hpb=c59c053f0b8613dd128297ee0b6eef31f001c498;p=ghc-hetmet.git

diff --git a/docs/users_guide/ghc.mk b/docs/users_guide/ghc.mk
index 644f381..ceb6db4 100644
--- a/docs/users_guide/ghc.mk
+++ b/docs/users_guide/ghc.mk
@@ -16,3 +16,18 @@ docs/users_guide_DOCBOOK_SOURCES := \
 
 $(eval $(call docbook,docs/users_guide,users_guide))
 
+# Hack: dblatex normalises the name of the input file using
+# os.path.realpath, which means that if we're in a linked build tree,
+# it won't be able to find ug-book.xml which is in the build tree but
+# not in the source tree.  Hence, we copy ug-book.xml to the source
+# tree.  This is a horrible hack, but I can't find a better way to do
+# it --SDM (2009-05-11)
+
+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 docs/users_guide/users_guide.ps: $(src_ug_book)
+endif