diff options
| author | Ben Hutchings <benh@debian.org> | 2022-07-31 04:11:08 +0200 |
|---|---|---|
| committer | Simon Tatham <anakin@pobox.com> | 2022-08-01 18:41:10 +0100 |
| commit | 9c13279938cfdd3f85a83c3f9ab1714a5a9164ae (patch) | |
| tree | ecf8054898c70a0d8570c92628bde63fee5dcaae /html/pattern.html | |
| parent | 8399cff6a3b9bf15c6d1d9e0c905d1411f25f9b8 (diff) | |
| download | puzzles-9c13279938cfdd3f85a83c3f9ab1714a5a9164ae.zip puzzles-9c13279938cfdd3f85a83c3f9ab1714a5a9164ae.tar.gz puzzles-9c13279938cfdd3f85a83c3f9ab1714a5a9164ae.tar.bz2 puzzles-9c13279938cfdd3f85a83c3f9ab1714a5a9164ae.tar.xz | |
unix, gtk: Install and use HTML help
- Generate HTML pages from the manual, and install them
- Add "Contents" and "Help on <name>" menu items that will open the
appropriate page in a web browser
Diffstat (limited to 'html/pattern.html')
0 files changed, 0 insertions, 0 deletions