[PATCH] git bugfixes and cleanups, mainly Debian things

Tommi Virtanen · Junio C Hamano · commit 88db5f809d1e · 2005-08-26T12:52:25.000-07:00
Generate docs for gitk. Install them in the right deb package.

Signed-off-by: Tommi Virtanen &lt;tv@debian.org&gt;
Signed-off-by: Junio C Hamano &lt;junkio@cox.net&gt;
diff --git 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))
diff --git a/debian/git-tk.files b/debian/git-tk.files
@@ -1 +1,3 @@
 /usr/bin/gitk
+/usr/share/man/man1/gitk.*
+/usr/share/doc/git-core/gitk.*

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-MAN1_TXT=$(wildcard git-*.txt)`
	`1`	`+MAN1_TXT=$(wildcard git-*.txt) gitk.txt`
`2`	`2`	`MAN7_TXT=git.txt`
`3`	`3`
`4`	`4`	`DOC_HTML=$(patsubst %.txt,%.html,$(MAN1_TXT) $(MAN7_TXT))`
Original file line number	Diff line number	Diff line change
`@@ -1 +1,3 @@`
`1`	`1`	`/usr/bin/gitk`
	`2`	`+/usr/share/man/man1/gitk.*`
	`3`	`+/usr/share/doc/git-core/gitk.*`