|
version 1.12, 2007/11/26 23:31:03
|
version 1.13, 2007/12/11 21:51:50
|
| Line 35 if ($CHKLIBS == "no") then |
|
| Line 35 if ($CHKLIBS == "no") then |
|
| echo "done" | echo "done" |
| | |
| echo -n "Remove links to man pages..." | echo -n "Remove links to man pages..." |
| if (-d man/man1) then |
if (-e man) then |
| cd man/man1 |
rm -rf man |
| find . -name "*.*" -exec rm {} \; |
|
| cd ../.. |
|
| endif |
|
| if (-d man/man3) then |
|
| cd man/man3 |
|
| find . -name "*.*" -exec rm {} \; |
|
| cd ../.. |
|
| endif |
|
| if (-d man/man5) then |
|
| cd man/man5 |
|
| find . -name "*.*" -exec rm {} \; |
|
| cd ../.. |
|
| endif | endif |
| echo "done" | echo "done" |
| | |
| Line 105 if ($CHKLIBS == "no") then |
|
| Line 93 if ($CHKLIBS == "no") then |
|
| endif | endif |
| echo "done" | echo "done" |
| | |
| echo -n "Setting links to man pages..." |
echo "Setting links to man pages..." |
| if (!(-d man/man1)) then |
if (-d /home/jsoc/man) then |
| mkdir -p man/man1 |
if (!(-e man)) then |
| endif |
ln -s /home/jsoc/man man |
| if (!(-d man/man3)) then |
endif |
| mkdir -p man/man3 |
endif |
| endif |
|
| if (!(-d man/man5)) then |
|
| mkdir -p man/man5 |
|
| endif |
|
| cd man/man1 |
|
| find ../.. -path '../../man/man1' -prune -o -path '*/man/man1/*.1*' -exec ln -s {} . \; |
|
| cd ../../man/man3 |
|
| find ../.. -path '../../man/man3' -prune -o -path '*/man/man3/*.3*' -exec ln -s {} . \; |
|
| cd ../../man/man5 |
|
| find ../.. -path '../../man/man5' -prune -o -path '*/man/man5/*.5*' -exec ln -s {} . \; |
|
| cd ../.. |
|
| echo "done" | echo "done" |
| | |
| echo "Setting links to headers..." | echo "Setting links to headers..." |
Return to
configure
CVS log
Up to [Development] / JSOC