diff --git a/doc/src/99/crib.html b/doc/src/99/crib.html
old mode 100755
new mode 100644