diff options
author | Donald Sharp <donaldsharp72@gmail.com> | 2022-01-06 13:26:28 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-06 13:26:28 +0100 |
commit | 168c2922e0a5f273aac6a2b44818bf2bfc75aa89 (patch) | |
tree | c36c58b90744d2b7fc13ccc5d5c8343bf2232f92 /doc | |
parent | Merge pull request #10297 from ton31337/fix/gr_can_be_0 (diff) | |
parent | doc: minor grammar correction (diff) | |
download | frr-168c2922e0a5f273aac6a2b44818bf2bfc75aa89.tar.xz frr-168c2922e0a5f273aac6a2b44818bf2bfc75aa89.zip |
Merge pull request #10296 from anlancs/fix-doc-version
doc: minor grammar correction
Diffstat (limited to 'doc')
-rw-r--r-- | doc/user/installation.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user/installation.rst b/doc/user/installation.rst index fdf5bab9c..88833d6ef 100644 --- a/doc/user/installation.rst +++ b/doc/user/installation.rst @@ -285,6 +285,7 @@ options from the list below. arguments when reporting the version string in `show version` command. .. option:: --with-pkg-extra-version=VER + Add extra version field, for packagers/distributions .. option:: --with-pkg-git-version |