diff --git a/dist/manweb b/dist/manweb index eb7f32a9..b813385a 100755 --- a/dist/manweb +++ b/dist/manweb @@ -66,4 +66,5 @@ for (i in */[~.]*.[0-9]*){ } >$d/$p.html } rm /tmp/manweb.html +cd $PLAN9/dist ./fixurls $PLAN9/man/man*/*.html