diff options
author | Mike Stump <mikestump@comcast.net> | 2004-11-13 20:42:50 +0300 |
---|---|---|
committer | Mike Stump <mikestump@comcast.net> | 2004-11-13 20:42:50 +0300 |
commit | b6fb961f47c85e3cd3e22b65275a6012d18dc52a (patch) | |
tree | 6552d598c85e50cbf0395e47f3beb6dde68ea776 /Makefile.def | |
parent | 87b838398aa4e5b938994a0620e9958b05881190 (diff) |
* Makefile.def: Add html support.
* Makefile.tpl: Likewise.
* Makefile.in: Regenerate.
Diffstat (limited to 'Makefile.def')
-rw-r--r-- | Makefile.def | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.def b/Makefile.def index a528aad78..5a7f31976 100644 --- a/Makefile.def +++ b/Makefile.def @@ -143,6 +143,8 @@ recursive_targets = { make_target= info; depend=configure; }; recursive_targets = { make_target= dvi; depend=configure; }; +recursive_targets = { make_target= html; + depend=configure; }; recursive_targets = { make_target= TAGS; depend=configure; }; recursive_targets = { make_target= install-info; |