diff options
Diffstat (limited to 'www/they.causal.agency')
| -rw-r--r-- | www/they.causal.agency/post-update.sh | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/www/they.causal.agency/post-update.sh b/www/they.causal.agency/post-update.sh index 2c0e6f54..db2d5936 100644 --- a/www/they.causal.agency/post-update.sh +++ b/www/they.causal.agency/post-update.sh @@ -18,12 +18,14 @@ do_tree() { mkdir -p /var/www/man/${manpath}/man${section} git cat-file $type $hash \ >/var/www/man/${manpath}/man${section}/${name} + ;; esac done if test -d /var/www/man/${manpath}; then makewhatis /var/www/man/${manpath} if ! fgrep -q ${manpath} /var/www/man/manpath.conf; then echo $manpath >>/var/www/man/manpath.conf + sort -o /var/www/man/manpath.conf /var/www/man/manpath.conf fi fi } |