diff --git a/doc/html/images/alert.png b/doc/html/images/alert.png
old mode 100755
new mode 100644
diff --git a/doc/html/images/home.png b/doc/html/images/home.png
old mode 100755
new mode 100644
diff --git a/doc/html/images/next.png b/doc/html/images/next.png
old mode 100755
new mode 100644
diff --git a/doc/html/images/note.png b/doc/html/images/note.png
old mode 100755
new mode 100644
diff --git a/doc/html/images/prev.png b/doc/html/images/prev.png
old mode 100755
new mode 100644
diff --git a/doc/html/images/smiley.png b/doc/html/images/smiley.png
old mode 100755
new mode 100644
diff --git a/doc/html/images/tip.png b/doc/html/images/tip.png
old mode 100755
new mode 100644
diff --git a/doc/html/images/up.png b/doc/html/images/up.png
old mode 100755
new mode 100644