diff options
| author | rsc <devnull@localhost> | 2005-01-14 21:01:51 +0000 |
|---|---|---|
| committer | rsc <devnull@localhost> | 2005-01-14 21:01:51 +0000 |
| commit | 0245a72ab49eb7aa2e6f1a9da709c732df20920b (patch) | |
| tree | 3454ec44f7887466245b134f7567bacee42f9421 /dist | |
| parent | add3511e9bec8db231c645e6b44db8eb2b7ff315 (diff) | |
| download | plan9port-0245a72ab49eb7aa2e6f1a9da709c732df20920b.tar.gz plan9port-0245a72ab49eb7aa2e6f1a9da709c732df20920b.tar.bz2 plan9port-0245a72ab49eb7aa2e6f1a9da709c732df20920b.zip | |
fix urls
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/manweb | 1 | ||||
| -rw-r--r-- | dist/mkfile | 2 |
2 files changed, 2 insertions, 1 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 diff --git a/dist/mkfile b/dist/mkfile index e12628d8..c71b54b9 100644 --- a/dist/mkfile +++ b/dist/mkfile @@ -9,7 +9,7 @@ man:V: rc ./manweb push:V: - rsync -e ssh -t --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man + rsync -r -e ssh -t --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man rsync -e ssh -t unix.html swtch:www/swtch.com/plan9port/unix/index.html rsync -e ssh -t main.html swtch:www/swtch.com/plan9port/index.html rsync -e ssh -t ss.html swtch:www/swtch.com/plan9port/screenshots/index.html |