diff options
author | panne <unknown> | 2004-08-21 13:29:28 +0000 |
---|---|---|
committer | panne <unknown> | 2004-08-21 13:29:28 +0000 |
commit | 0ba4b0a1104131cd6eae8d570c1e1a713094543c (patch) | |
tree | 7d2c5b7fc7157fd5191ef418ecf0f9b8f85b20bb /mk/target.mk | |
parent | 10a5b31160c92f84f7d945c701df22347da7f6b0 (diff) | |
download | haskell-0ba4b0a1104131cd6eae8d570c1e1a713094543c.tar.gz |
[project @ 2004-08-21 13:29:26 by panne]
* Factored out labeling options (used by FO now, too)
* Cleaned up stylesheet handling
Diffstat (limited to 'mk/target.mk')
-rw-r--r-- | mk/target.mk | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/mk/target.mk b/mk/target.mk index 2db0d8a9e4..f4aaa1121d 100644 --- a/mk/target.mk +++ b/mk/target.mk @@ -830,8 +830,8 @@ install-docs:: $(foreach i,$(XMLDocWays),$(INSTALL_XML_DOC)$(patsubst %.html-no- $(INSTALL_DATA) $(INSTALL_OPTS) $(INSTALL_XML_DOC)`echo .$$i | sed s/\.html-no-chunks/.html/` $(datadir); \ fi; \ if [ $$i = "html-no-chunks" ]; then \ - echo $(CP) $(FPTOOLS_CSS) $(datadir); \ - $(CP) $(FPTOOLS_CSS) $(datadir); \ + echo $(CP) $(FPTOOLS_CSS_ABS) $(datadir); \ + $(CP) $(FPTOOLS_CSS_ABS) $(datadir); \ fi \ done endif @@ -1021,7 +1021,7 @@ pdf :: $(XML_PDF) CLEAN_FILES += $(XML_HTML_NO_CHUNKS) $(XML_FO) $(XML_DVI) $(XML_PS) $(XML_PDF) extraclean :: - $(RM) -rf $(XML_DOC).out $(notdir $(FPTOOLS_CSS)) $(addsuffix -html,$(basename $(XML_DOC))) $(addsuffix -htmlhelp,$(basename $(XML_DOC))) + $(RM) -rf $(XML_DOC).out $(FPTOOLS_CSS) $(basename $(XML_DOC))-html $(basename $(XML_DOC))-htmlhelp validate :: $(XMLLINT) --valid --noout $(XMLLINT_OPTS) $(XML_DOC).xml |