summaryrefslogtreecommitdiff
path: root/support/m-tx/doc/make-pdf
diff options
context:
space:
mode:
Diffstat (limited to 'support/m-tx/doc/make-pdf')
-rw-r--r--support/m-tx/doc/make-pdf6
1 files changed, 6 insertions, 0 deletions
diff --git a/support/m-tx/doc/make-pdf b/support/m-tx/doc/make-pdf
new file mode 100644
index 0000000000..355b8e4868
--- /dev/null
+++ b/support/m-tx/doc/make-pdf
@@ -0,0 +1,6 @@
+target = pdf
+latex = pdflatex
+concat = gs
+
+%.ps: %.pdf
+ pdf2ps $*.pdf $*.ps