Commit 112ce874 authored by Ben Gamari's avatar Ben Gamari Committed by Ben Gamari
Browse files

docs: Ignore Sphinx doctrees produced by manpage build

Test Plan: Validate

Reviewers: austin

Subscribers: thomie

Differential Revision:
parent c945c90b
...@@ -98,8 +98,7 @@ _darcs/ ...@@ -98,8 +98,7 @@ _darcs/
/docs/users_guide/users_guide.pdf /docs/users_guide/users_guide.pdf
/docs/users_guide/build-html /docs/users_guide/build-html
/docs/users_guide/build-pdf /docs/users_guide/build-pdf
/docs/users_guide/.doctrees-html /docs/users_guide/.doctrees-*
/driver/ghci/ghc-pkg-inplace /driver/ghci/ghc-pkg-inplace
/driver/ghci/ghci-inplace /driver/ghci/ghci-inplace
/driver/ghci/ghci.res /driver/ghci/ghci.res
...@@ -27,7 +27,7 @@ MAN_PAGES := docs/users_guide/ghc.1 ...@@ -27,7 +27,7 @@ MAN_PAGES := docs/users_guide/ghc.1
ifneq "$(BINDIST)" "YES" ifneq "$(BINDIST)" "YES"
$(MAN_PAGES): $(docs/users_guide_MAN_RST_SOURCES) $(utils/mkUserGuidePart_GENERATED_RST_SOURCES) $(MAN_PAGES): $(docs/users_guide_MAN_RST_SOURCES) $(utils/mkUserGuidePart_GENERATED_RST_SOURCES)
$(SPHINXBUILD) -b man docs/users_guide docs/users_guide $(SPHINXBUILD) -b man -d docs/users_guide/.doctrees-man docs/users_guide docs/users_guide
endif endif
man : $(MAN_PAGES) man : $(MAN_PAGES)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment