projects
/
ghc-hetmet.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
+RTS -qw hasn't done anything since 7.0.1; remove the implementation & docs
[ghc-hetmet.git]
/
rules
/
docbook.mk
diff --git
a/rules/docbook.mk
b/rules/docbook.mk
index
ebc3751
..
8030fb7
100644
(file)
--- a/
rules/docbook.mk
+++ b/
rules/docbook.mk
@@
-15,6
+15,7
@@
define docbook
$(call trace, docbook($1,$2))
+$(call profStart, docbook($1,$2))
# $1 = dir
# $2 = docname
@@
-80,5
+81,6
@@
$1/$2.pdf: $$($1_DOCBOOK_SOURCES)
[ -f $$@ ]
endif
+$(call profEnd, docbook($1,$2))
endef