Merge with gitk.

diff --git a/Documentation/git-write-tree.txt b/Documentation/git-write-tree.txt
index 4c7db5f59ad39ccf42ef2e85f2d40a4ffc03bd1b..3b6a66fef648eeeb2bf75c39af1670495eaffe88 100644 (file)
--- a/Documentation/git-write-tree.txt
+++ b/Documentation/git-write-tree.txt
@@ -9,8 +9,7 @@ git-write-tree - Creates a tree from the current cache
 
 SYNOPSIS
 --------
-'git-write-tree'
-               [--missing-ok]
+'git-write-tree' [--missing-ok]
 
 DESCRIPTION
 -----------
@@ -30,19 +29,6 @@ OPTIONS
        Normally "git-write-tree" ensures that the objects referenced by the
        directory exist in the object database.  This option disables this check.
 
-
-////////////////////////////////////////////////////////////////
-
-Producing man pages and html
-
-To create a set of html pages run:
-  perl split-docs.pl -html < core-git.txt
-
-To create a set of man pages run:
-  perl split-docs.pl -man < core-git.txt
-
-
-////////////////////////////////////////////////////////////////
 Author
 ------
 Written by Linus Torvalds <torvalds@osdl.org>