diff --git a/doc/fixmdoc.sed b/doc/fixmdoc.sed old mode 100755 new mode 100644