diff --git a/scripts/fpd2pdf b/scripts/fpd2pdf deleted file mode 100755 index c67bc98..0000000 --- a/scripts/fpd2pdf +++ /dev/null @@ -1,46 +0,0 @@ -#!/bin/bash -# -# fpd2pdf - Print a set of Fped files into a PDF -# -# Written 2010 by Werner Almesberger -# Copyright 2010 Werner Almesberger -# -# This program is free software; you can redistribute it and/or modify -# it under the terms of the GNU General Public License as published by -# the Free Software Foundation; either version 2 of the License, or -# (at your option) any later version. -# - - -usage() -{ - cat <&2 -usage: $0 [-a] [-o out.pdf] file.fpd ... - - -a also include files whose name contains a tilde (backup files) - -o out.pdf write to the specified file (default: standard output) -EOF - exit 1 -} - - -out=- -all=false - -while true; do - case "$1" in - -a) all=true - shift;; - -o) [ -z "$2" ] && usage - out="$2" - shift 2;; - -*) usage;; - *) break;; - esac -done - -[ -z "$1" ] && usage - -eval gs -q -dNOPAUSE -dBATCH -sDEVICE=pdfwrite -sOutputFile=$out -f \ - `for n in "$@"; do $all || [ "$n" = "${n/\~/}" ] && \ - echo "<(fped -p \"$n\" -)"; done`