git-reset-scripton commit Fix up "make doc" (71931c1)
   1#!/bin/sh
   2. git-sh-setup-script || die "Not a git archive"
   3git-read-tree --reset HEAD
   4git-update-cache --refresh
   5rm -f "$GIT_DIR/MERGE_HEAD"