summaryrefslogtreecommitdiff
path: root/info/lshort/polish/src/lsh2pdf
diff options
context:
space:
mode:
Diffstat (limited to 'info/lshort/polish/src/lsh2pdf')
-rw-r--r--info/lshort/polish/src/lsh2pdf26
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};