diff options
| author | Guilhem Moulin <guilhem@fripost.org> | 2019-07-05 01:03:36 +0200 |
|---|---|---|
| committer | Guilhem Moulin <guilhem@fripost.org> | 2019-07-05 03:32:01 +0200 |
| commit | 25f1dbdf54947bd6bbce653bc64f6c45b2473792 (patch) | |
| tree | eb5a21d1a528502845da6b987d4431bd04a4a5bd /.gitignore | |
| parent | c4abd6128c3ca5471afc84225533a958ce273875 (diff) | |
Refactor documentation.
In particular, move manpages to the 'doc' directory, and generate HTML
documentation with `make html`.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,3 +1,5 @@ *~ -/*.1 +/doc/*.1 +/doc/*.html +!/doc/template.html /.pc/ |