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 492df2d65e..25cd001c96 100644 --- a/docs/users_guide/ghc.mk +++ b/docs/users_guide/ghc.mk @@ -29,5 +29,5 @@ 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) $< $@ -docs/users_guide/users_guide.pdf: $(src_ug_book) +docs/users_guide/users_guide.pdf docs/users_guide/users_guide.ps: $(src_ug_book) endif |