mirror of
https://git.FreeBSD.org/ports.git
synced 2024-10-31 21:57:12 +00:00
20 lines
693 B
Plaintext
20 lines
693 B
Plaintext
--- util/mpiinstall.in.orig Mon Nov 29 20:48:06 1999
|
|
+++ util/mpiinstall.in Sat Dec 25 07:57:38 1999
|
|
@@ -886,12 +886,12 @@
|
|
MkDir $mandir
|
|
CopyFile $top_srcdir/man/mandesc $mandir
|
|
# No files in man5 (was ADI routines)
|
|
- for dir in man1 man3 man4 ; do
|
|
- MkDir $mandir/$dir
|
|
- for file in $top_srcdir/man/$dir/* ; do
|
|
+ for manxdir in man1 man3 man4 ; do
|
|
+ MkDir $mandir/$manxdir
|
|
+ for file in $top_srcdir/man/$manxdir/* ; do
|
|
# man5 in particular might be empty; be careful
|
|
if [ -f "$file" -a -s "$file" ] ; then
|
|
- CopyFile $file $mandir/$dir
|
|
+ CopyFile $file $mandir/$manxdir
|
|
fi
|
|
done
|
|
done
|