diff options
Diffstat (limited to 'Build/source/texk/tex4htk/java/xtpipes.java')
| -rwxr-xr-x | Build/source/texk/tex4htk/java/xtpipes.java | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Build/source/texk/tex4htk/java/xtpipes.java b/Build/source/texk/tex4htk/java/xtpipes.java new file mode 100755 index 00000000000..6b37e160027 --- /dev/null +++ b/Build/source/texk/tex4htk/java/xtpipes.java @@ -0,0 +1,7 @@ +// 2008-01-26-00:38 +import xtpipes.*; +public class xtpipes { + public static void main(String [] args) throws Exception { + Xtpipes.main(args); +} } + |