diff options
author | Tommi Virtanen <tv@debian.org> | 2005-08-26 15:00:04 +0400 |
---|---|---|
committer | Junio C Hamano <junkio@cox.net> | 2005-08-26 23:52:25 +0400 |
commit | 88db5f809d1e4a4afd28514151e97b40fd367661 (patch) | |
tree | 33e73d82ff2a6160940ab9e03075114a3d49b8f1 /Documentation/Makefile | |
parent | 579fbe598ddd9608bd2fbcf8411299dde06d1912 (diff) |
[PATCH] git bugfixes and cleanups, mainly Debian things
Generate docs for gitk. Install them in the right deb package.
Signed-off-by: Tommi Virtanen <tv@debian.org>
Signed-off-by: Junio C Hamano <junkio@cox.net>
Diffstat (limited to 'Documentation/Makefile')
-rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index e928bcf280..bd6833b79e 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -1,4 +1,4 @@ -MAN1_TXT=$(wildcard git-*.txt) +MAN1_TXT=$(wildcard git-*.txt) gitk.txt MAN7_TXT=git.txt DOC_HTML=$(patsubst %.txt,%.html,$(MAN1_TXT) $(MAN7_TXT)) |