diff --git a/namedef.dtx b/namedef.dtx
old mode 100755
new mode 100644