diff --git a/sys/doc/prfile b/sys/doc/prfile old mode 100644 new mode 100755