update man pages: document stripping of .git suffix
This commit is contained in:
parent
ede4982f67
commit
12a96d466d
2 changed files with 5 additions and 3 deletions
|
@ -12,7 +12,8 @@
|
|||
will create an index HTML page for the repositories specified and writes
|
||||
the HTML data to stdout.
|
||||
.Pp
|
||||
The basename of the directory is used as the name.
|
||||
The basename of the directory is used as the name. The suffix ".git" is
|
||||
removed from the basename, this is commonly used for "bare" repos.
|
||||
.Pp
|
||||
The content of the follow files specifies the meta data for each repository:
|
||||
.Bl -tag -width Ds
|
||||
|
|
5
stagit.1
5
stagit.1
|
@ -34,11 +34,12 @@ commit/commitid.html . This file will contain the diff and diffstat of the
|
|||
commit. It will write the string "binary files differ" if the data is
|
||||
considered to be non-textual.
|
||||
.Pp
|
||||
The basename of the directory is used as the name.
|
||||
The basename of the directory is used as the name. The suffix ".git" is
|
||||
removed from the basename, this is commonly used for "bare" repos.
|
||||
.Pp
|
||||
The content of the follow files specifies the meta data for each repository:
|
||||
.Bl -tag -width Ds
|
||||
.It .git/description or description (bare repos).
|
||||
.It .git/description or description (bare repo).
|
||||
description
|
||||
.It .git/owner or owner (bare repo).
|
||||
owner of repository
|
||||
|
|
Loading…
Reference in a new issue