[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>
This commit is contained in:
parent
579fbe598d
commit
88db5f809d
@ -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))
|
||||
|
2
debian/git-tk.files
vendored
2
debian/git-tk.files
vendored
@ -1 +1,3 @@
|
||||
/usr/bin/gitk
|
||||
/usr/share/man/man1/gitk.*
|
||||
/usr/share/doc/git-core/gitk.*
|
||||
|
Loading…
Reference in New Issue
Block a user