1
0
Fork 0

documentation/fix cygwin pdf generation (#5545)

This commit is contained in:
Wilfried Goesgens 2018-06-07 10:45:05 +02:00 committed by Jan
parent baec138715
commit 25f77ceeb1
1 changed files with 6 additions and 1 deletions

View File

@ -35,6 +35,11 @@ RESET="${C[RESET]}"
newVersionNumber=$( tr -d '\r\n' < ../../VERSION)
isCygwin=0
if test "$(uname -o||true)" == "Cygwin"; then
isCygwin=1
fi
declare -A ALL_GSEARCH_ID
for book in ${ALLBOOKS}; do
ALL_GSEARCH_ID[$book]=$( grep "GSEARCH_ID_${book}" ../../VERSIONS |sed 's;.*"\([0-9a-zA-Z:_-]*\)".*;\1;')
@ -653,7 +658,7 @@ function build-dist-books()
set -e
rm -rf books ppbooks
PIDFILE=/tmp/xvfb_20_0.pid
if test -z "${DISPLAY}"; then
if test "${isCygwin}" -eq 0 -a -z "${DISPLAY}"; then
DISPLAY=:20.0
start_X11_display "${PIDFILE}" "${DISP}"
trap 'stop_X11_display "${PIDFILE}"' 0