diff options
| author | Todd Zullinger <tmz@pobox.com> | 2010-09-06 09:31:22 -0400 |
|---|---|---|
| committer | Lars Hjemli <hjemli@gmail.com> | 2010-09-19 19:11:45 +0200 |
| commit | 679f7ef4f3f31dca8c8ac5536c3e18a5188e051a (patch) | |
| tree | 2f0085a1858cbf4f7f3534d6af0f0f7c6f604ce5 /.gitignore | |
| parent | a9d6e6e695da6c6ed7f4bb32630ab2f3d9314806 (diff) | |
Generalize doc generation
This borrows from the git Documentation/Makefile. The goal is to make
it easier to add new man pages and other documentation as well as to
prevent make from re-generating the documentation needlessly.
Signed-off-by: Todd Zullinger <tmz@pobox.com>
Signed-off-by: Lars Hjemli <hjemli@gmail.com>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions