diff options
| author | panne <unknown> | 2004-08-16 19:59:38 +0000 |
|---|---|---|
| committer | panne <unknown> | 2004-08-16 19:59:38 +0000 |
| commit | 68c34f065a0a26b07e5cadb7ddd91e833623433f (patch) | |
| tree | 158d3d1822444dcbdc05c59174847df5423ed8be /doc/Makefile | |
| parent | eaae7417981db905e33949fdb52b34be0fbc7ee1 (diff) | |
[haddock @ 2004-08-16 19:59:36 by panne]
XMLification
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index f02e290b..dbab0ba6 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -1,7 +1,7 @@ TOP=.. include $(TOP)/mk/boilerplate.mk -SGML_DOC = haddock -INSTALL_SGML_DOC = haddock +XML_DOC = haddock +INSTALL_XML_DOC = haddock include $(TOP)/mk/target.mk |