diff options
| author | corvid, jcid <devnull@localhost> | 2010-01-18 14:00:46 -0300 |
|---|---|---|
| committer | corvid, jcid <devnull@localhost> | 2010-01-18 14:00:46 -0300 |
| commit | 7fed8aad4aea5d8f8407e44d3f2396db5028db55 (patch) | |
| tree | 2b5e2b73641c5f7cdedae0a97449dbbe5ead5733 /doc/Makefile.am | |
| parent | a593fe8b62e148da741e8ce054f4b3bedcf81403 (diff) | |
Added a help button. It tries a local help file then dillo.org's one.
Diffstat (limited to 'doc/Makefile.am')
| -rw-r--r-- | doc/Makefile.am | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/Makefile.am b/doc/Makefile.am index 3aa81b84..d644393b 100644 --- a/doc/Makefile.am +++ b/doc/Makefile.am @@ -1,3 +1,4 @@ +dist_doc_DATA = user_help.html man_MANS = dillo.1 EXTRA_DIST = \ $(man_MANS) \ |