summaryrefslogtreecommitdiff
path: root/fonts/psfonts/tools/finstex.ltx
diff options
context:
space:
mode:
Diffstat (limited to 'fonts/psfonts/tools/finstex.ltx')
-rw-r--r--fonts/psfonts/tools/finstex.ltx2
1 files changed, 2 insertions, 0 deletions
diff --git a/fonts/psfonts/tools/finstex.ltx b/fonts/psfonts/tools/finstex.ltx
new file mode 100644
index 0000000000..6eb553b560
--- /dev/null
+++ b/fonts/psfonts/tools/finstex.ltx
@@ -0,0 +1,2 @@
+\input fontinst.sty
+\dump \ No newline at end of file