diff options
| author | Kristian Evers <kristianevers@gmail.com> | 2018-06-10 21:49:17 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-06-10 21:49:17 +0200 |
| commit | 1232bee4b22bfe67f416852639828a1e68adbed5 (patch) | |
| tree | f9a3c5bfb9b64b66cdab60ec5747fabb3095ebc1 /scripts | |
| parent | fa62d68b95b6295c204f3b9c91f5cef7a73c436c (diff) | |
| parent | 22db9685456c9c247cd92807fcf28567895b7a5b (diff) | |
| download | PROJ-1232bee4b22bfe67f416852639828a1e68adbed5.tar.gz PROJ-1232bee4b22bfe67f416852639828a1e68adbed5.zip | |
Merge pull request #1038 from kbevers/howtorelease
Complete overhaul of HOWTO-RELEASE.
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/update_man.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/scripts/update_man.sh b/scripts/update_man.sh index 694b3b7c..fabd08e3 100755 --- a/scripts/update_man.sh +++ b/scripts/update_man.sh @@ -8,4 +8,6 @@ git add man/man1/cs2cs.1 git add man/man1/cct.1 git add man/man1/geod.1 git add man/man1/gie.1 +git add man/man3/geodesic.3 +git add man/man3/pj_init.3 git commit -m "Update man-pages from Sphinx-docs" |