diff --git a/.gitignore b/.gitignore index 0455251c3a834bddcc14e8afbf00da5cc971c33d..5c2af906e9b08a1e11ac146fad3b7f73000fe21a 100644 --- a/.gitignore +++ b/.gitignore @@ -98,6 +98,7 @@ _darcs/ /docs/users_guide/users_guide.pdf /docs/users_guide/build-html /docs/users_guide/build-pdf +/docs/users_guide/build-man /docs/users_guide/.doctrees-* /docs/users_guide/.doctrees/ /driver/ghci/ghc-pkg-inplace diff --git a/docs/users_guide/ghc.mk b/docs/users_guide/ghc.mk index deb60a342f3dd61e17c3f26395069d1fefa61960..83cf60a78ec8c768c9f98b7f76ec1c55fbf74e3f 100644 --- a/docs/users_guide/ghc.mk +++ b/docs/users_guide/ghc.mk @@ -23,11 +23,11 @@ html_docs/users_guide : docs/users_guide/images/prof_scc.svg docs/users_guide_MAN_RST_SOURCES := docs/users_guide/ghc.rst MAN_SECTION := 1 -MAN_PAGES := docs/users_guide/ghc.1 +MAN_PAGES := docs/users_guide/build-man/ghc.1 ifneq "$(BINDIST)" "YES" $(MAN_PAGES): $(docs/users_guide_MAN_RST_SOURCES) $(utils/mkUserGuidePart_GENERATED_RST_SOURCES) - $(SPHINXBUILD) -b man -d docs/users_guide/.doctrees-man docs/users_guide docs/users_guide + $(SPHINXBUILD) -b man -d docs/users_guide/.doctrees-man docs/users_guide docs/users_guide/build-man endif man : $(MAN_PAGES)