diff options
Diffstat (limited to 'info/lshort/polish/src/lsh2pdf')
-rw-r--r-- | info/lshort/polish/src/lsh2pdf | 26 |
1 files changed, 0 insertions, 26 deletions
diff --git a/info/lshort/polish/src/lsh2pdf b/info/lshort/polish/src/lsh2pdf deleted file mode 100644 index bd9d7623fd..0000000000 --- a/info/lshort/polish/src/lsh2pdf +++ /dev/null @@ -1,26 +0,0 @@ -#!/bin/bash -# Tomasz Przechlewski <t.przechlewski@gust.org.pl>. -# Copyright 1999, 2007. Można rozpowszechniać na licencji GNU. -# -# Zamiana na dokument w formacie PDF za pomocą programu pdftex -# -# Dwukrotnie kompilujemy dokument: -lltex="platex lshort2e.tex" - -${lltex}; ${lltex}; - -# Tworzymy skorowidz za pomocą programu plmindex -# -plmindex lshort2e; - -# Kolejna kompilacja dołącza skorowidz -${lltex}; - -# Modyfikujemy zawartość pliku lshort2e.out (za pomocą prostego -# skryptu AWK-owego) zawierającego tekst do zakładek (bookmarks) - -mv lshort2e.out lshort2e.rep; -awk -f ./repbkmrs.awk lshort2e.rep > lshort2e.out; - -# Ostateczna kompilacja -${lltex}; |