diff --git a/man/runtex b/man/runtex old mode 100644 new mode 100755