diff options
Diffstat (limited to 'dist/manweb')
| -rwxr-xr-x | dist/manweb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/dist/manweb b/dist/manweb index 2cd5b50e..eb7f32a9 100755 --- a/dist/manweb +++ b/dist/manweb @@ -66,3 +66,4 @@ for (i in */[~.]*.[0-9]*){ } >$d/$p.html } rm /tmp/manweb.html +./fixurls $PLAN9/man/man*/*.html |