diff options
| -rwxr-xr-x | tools/update_man_pages.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/tools/update_man_pages.sh b/tools/update_man_pages.sh index 694d76f..5a7115d 100755 --- a/tools/update_man_pages.sh +++ b/tools/update_man_pages.sh @@ -118,11 +118,13 @@ update_git() { return 0 } +date_return=0 if [[ "$date" == "true" ]]; then update_date date_return=$? fi +git_return=0 if [[ "$git" == "true" ]]; then update_git git_return=$? |