mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-21 04:06:46 +00:00
5ea01e4a24
- Fix pathnames:
s,$prefix/MakeTeXPK,$prefix/bin/MakeTeXPK,
s,$prefix/lib/texmf/fonts/pk,${localbase}/share/texmf/fonts/pk,
- Remove pre-install to detect teTeX (CONFLICTS is enough).
- Make portlint(1) happy.
Approved by: portmgr(marcus)
51 lines
1.2 KiB
Bash
51 lines
1.2 KiB
Bash
#!/bin/sh
|
|
|
|
prefix=%%PREFIX%%
|
|
localbase=%%LOCALBASE%%
|
|
|
|
if [ "$2" != "PRE-INSTALL" ]; then
|
|
exit 0
|
|
fi
|
|
|
|
if [ -f $prefix/bin/MakeTeXPK ]; then
|
|
echo "**WARNING** MakeTeXPK already exists in $prefix/bin"
|
|
echo "**WARNING** This file will be replaced during install."
|
|
echo
|
|
echo -n "do you want to continue ? [y] "
|
|
read answ; if [ "$answ" = "" ]; then answ=y; fi
|
|
case $answ in
|
|
y*|Y*) break;;
|
|
*) exit 1;;
|
|
esac
|
|
fi
|
|
|
|
cat << END
|
|
|
|
This package has been compiled with some defaults:
|
|
1 fonts will be created in ${localbase}/share/texmf/fonts/pk and this
|
|
directory will be made world writable
|
|
|
|
2 300 dpi fonts will be created with MODE=imagen
|
|
200 dpi fonts will be created with MODE=FAX
|
|
360 dpi fonts will be created with MODE=nextII
|
|
400 dpi fonts will be created with MODE=nexthi
|
|
72 dpi fonts will be created with MODE=nextscreen
|
|
|
|
If you are not satisfied with 1, you need to recompile xdvi
|
|
If you are not satisfied with 2, you will need to edit $prefix/bin/MakeTeXPK
|
|
|
|
END
|
|
|
|
echo -n "do you want to install the package ? [y] "
|
|
read answ; if [ "$answ" = "" ]; then answ=y; fi
|
|
case $answ in
|
|
y*|Y*) break;;
|
|
*) exit 1;;
|
|
esac
|
|
|
|
mkdir -p ${localbase}/share/texmf/fonts/pk; chmod 1777 ${localbase}/share/texmf/fonts/pk
|
|
|
|
exit 0
|
|
|
|
|