diff options
| author | June McEnroe <june@causal.agency> | 2026-02-11 01:15:28 +0000 |
|---|---|---|
| committer | June McEnroe <june@causal.agency> | 2026-02-11 01:15:28 +0000 |
| commit | d4d665c8ce9484842feae4482feae72c1d0bcd14 (patch) | |
| tree | 1e26fb34f1f84cd2e7a33d934683327dfd9f9ef9 /www/they.causal.agency/post-update.sh | |
| parent | Install post-update script to a real path (diff) | |
| download | src-master.tar.gz src-master.zip | |
Diffstat (limited to 'www/they.causal.agency/post-update.sh')
| -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 } |