File: fake-pdflatex.sh

package info (click to toggle)
coccinelle 1.0.8.deb-5
  • links: PTS, VCS
  • area: main
  • in suites: bullseye, sid
  • size: 26,148 kB
  • sloc: ml: 136,392; ansic: 23,594; sh: 2,189; makefile: 2,157; perl: 1,576; lisp: 840; python: 823; awk: 70; csh: 12
file content (22 lines) | stat: -rwxr-xr-x 540 bytes parent folder | download | duplicates (4)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
#! /bin/sh -e

set -e

# If you don't have pdflatex installed, but do have the generated pdf files, then
# this script provides those pdf files as a substitute for the pdflatex invocation.

for arg in "$@"; do
  base="${arg%.*}"
  ext="${arg##*.}"

  if test "x$ext" = xtex; then
    if test -f "${base}.pdf"; then
      echo "fake-pdflatex.sh: ${base}.pdf provided as substitute for: $@"
      touch "${base}.pdf"
      exit 1
    fi
  fi
done

echo "error: pdflatex has not been configured, therefore refusing to execute: $@" 1>&2
exit 1