mirror of
https://git.lyx.org/repos/lyx.git
synced 2024-12-25 22:06:15 +00:00
If we bother to test for the presence of latex, then the test should work...
git-svn-id: svn://svn.lyx.org/lyx/lyx-devel/trunk@5907 a592a061-630c-0410-9148-cb99ea01b6c8
This commit is contained in:
parent
691568ea39
commit
38927eb419
@ -1,3 +1,8 @@
|
|||||||
|
2003-01-06 Angus Leeming <leeming@lyx.org>
|
||||||
|
|
||||||
|
* scripts/lyxpreview2bitmap.sh: don't use 'which' to find an executable.
|
||||||
|
Use 'type'.
|
||||||
|
|
||||||
2003-01-05 John Levon <levon@movementarian.org>
|
2003-01-05 John Levon <levon@movementarian.org>
|
||||||
|
|
||||||
* lyx2lyx/lyxconvert_215.py: handle \lyxrcsid, \lyxvcid, \cursor
|
* lyx2lyx/lyxconvert_215.py: handle \lyxrcsid, \lyxvcid, \cursor
|
||||||
|
@ -54,9 +54,10 @@
|
|||||||
# Three helper functions.
|
# Three helper functions.
|
||||||
FIND_IT ()
|
FIND_IT ()
|
||||||
{
|
{
|
||||||
which ${EXECUTABLE} > /dev/null ||
|
test $# -eq 1 || exit 1
|
||||||
{
|
|
||||||
echo "Unable to find \"${EXECUTABLE}\". Please install."
|
type $1 > /dev/null || {
|
||||||
|
echo "Unable to find \"$1\". Please install."
|
||||||
exit 1
|
exit 1
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
@ -100,9 +101,9 @@ else
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
# We use latex, dvips and gs, so check that they're all there.
|
# We use latex, dvips and gs, so check that they're all there.
|
||||||
EXECUTABLE=latex; FIND_IT
|
FIND_IT latex
|
||||||
EXECUTABLE=dvips; FIND_IT
|
FIND_IT dvips
|
||||||
EXECUTABLE=gs; FIND_IT
|
FIND_IT gs
|
||||||
|
|
||||||
# Initialise some variables.
|
# Initialise some variables.
|
||||||
TEXFILE=${BASE}.tex
|
TEXFILE=${BASE}.tex
|
||||||
@ -202,7 +203,7 @@ rm -f ${FILES} texput.log
|
|||||||
# The bitmap files can have large amounts of whitespace to the left and
|
# The bitmap files can have large amounts of whitespace to the left and
|
||||||
# right. This can be cropped if so desired.
|
# right. This can be cropped if so desired.
|
||||||
CROP=1
|
CROP=1
|
||||||
which pnmcrop > /dev/null || CROP=0
|
type pnmcrop > /dev/null || CROP=0
|
||||||
|
|
||||||
# There's no point cropping the image if using PNG images. If you want to
|
# There's no point cropping the image if using PNG images. If you want to
|
||||||
# crop, use PPM.
|
# crop, use PPM.
|
||||||
|
Loading…
Reference in New Issue
Block a user