diff options
Diffstat (limited to 'docs/users_guide/ghc.mk')
| -rw-r--r-- | docs/users_guide/ghc.mk | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/docs/users_guide/ghc.mk b/docs/users_guide/ghc.mk new file mode 100644 index 0000000000..bae39adce8 --- /dev/null +++ b/docs/users_guide/ghc.mk @@ -0,0 +1,7 @@ + +docs/users_guide_DOCBOOK_SOURCES := \ + $(wildcard docs/users_guide/*.xml) \ + $(basename $(wildcard docs/users_guide/*.xml.in)) + +$(eval $(call docbook,docs/users_guide,users_guide)) + |