diff --git a/INSTALL b/INSTALL index 4f1618c4..97742dd6 100755 --- a/INSTALL +++ b/INSTALL @@ -8,6 +8,8 @@ cd src make echo "Building everything..." mk clean +mk libs-nuke +mk all echo "Installing everything..." mk install | tee -a mk-install.log echo "Cleaning up..." diff --git a/bin/man b/bin/man index 89d1a5a7..51b65dfe 100755 --- a/bin/man +++ b/bin/man @@ -1,8 +1,6 @@ #!/usr/local/plan9/bin/rc . 9.rc -whatis path -whatis troff . $PLAN9/man/fonts # diff --git a/dist/mkfile b/dist/mkfile index 4def6970..bbde9198 100644 --- a/dist/mkfile +++ b/dist/mkfile @@ -9,8 +9,8 @@ man:V: rc ./manweb push:V: - rsync -e ssh -avz --delete $PLAN9/man/ swtch:www/swtch.com/plan9port/man - rsync -e ssh unix.html swtch:www/swtch.com/plan9port/unix/index.html - rsync -e ssh main.html swtch:www/swtch.com/plan9port/nindex.html - @{cd ../unix/man && mk push} - @{cd ../unix && mk push} + rsync -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/nindex.html + # @{cd ../unix/man && mk push} + # @{cd ../unix && mk push} diff --git a/dist/unix.html b/dist/unix.html index e56e41ac..1b8dd0c5 100644 --- a/dist/unix.html +++ b/dist/unix.html @@ -52,7 +52,8 @@ Edit ./^$/,s/