diff options
author | EuAndreh <eu@euandre.org> | 2021-06-16 15:52:44 -0300 |
---|---|---|
committer | EuAndreh <eu@euandre.org> | 2021-06-16 15:52:44 -0300 |
commit | dda6886080795af7f954aae1a6731e9a673c54f9 (patch) | |
tree | 7a6fab9f00d336e955a2bfe29306024cf4789e13 | |
parent | Makefile: Add $(manpages) as a dependency of the "public" target (diff) | |
download | git-permalink-dda6886080795af7f954aae1a6731e9a673c54f9.tar.gz git-permalink-dda6886080795af7f954aae1a6731e9a673c54f9.tar.xz |
doc/git-permalink.1: Add period at the end of NAME
-rw-r--r-- | doc/git-permalink.1 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/git-permalink.1 b/doc/git-permalink.1 index 2d3c9c5..bf4506f 100644 --- a/doc/git-permalink.1 +++ b/doc/git-permalink.1 @@ -3,7 +3,7 @@ .SH NAME -git-permalink - Git extension to generate web permalinks of files in a repository +git-permalink - Git extension to generate web permalinks of files in a repository. .SH SYNOPSYS |