( cd usr/man/man1 ; rm -rf mkcamlp5.1.gz )
( cd usr/man/man1 ; ln -sf camlp5.1.gz mkcamlp5.1.gz )
( cd usr/man/man1 ; rm -rf ocpp5.1.gz )
( cd usr/man/man1 ; ln -sf camlp5.1.gz ocpp5.1.gz )
( cd usr/man/man1 ; rm -rf mkcamlp5.opt.1.gz )
( cd usr/man/man1 ; ln -sf camlp5.1.gz mkcamlp5.opt.1.gz )
( cd usr/man/man1 ; rm -rf camlp5r.1.gz )
( cd usr/man/man1 ; ln -sf camlp5.1.gz camlp5r.1.gz )
( cd usr/man/man1 ; rm -rf camlp5o.opt.1.gz )
( cd usr/man/man1 ; ln -sf camlp5.1.gz camlp5o.opt.1.gz )
( cd usr/man/man1 ; rm -rf camlp5r.opt.1.gz )
( cd usr/man/man1 ; ln -sf camlp5.1.gz camlp5r.opt.1.gz )
( cd usr/man/man1 ; rm -rf camlp5o.1.gz )
( cd usr/man/man1 ; ln -sf camlp5.1.gz camlp5o.1.gz )
( cd usr/man/man1 ; rm -rf camlp5sch.1.gz )
( cd usr/man/man1 ; ln -sf camlp5.1.gz camlp5sch.1.gz )
