diff --git a/doc/tutorial/dumbbell.png b/doc/tutorial/dumbbell.png old mode 100755 new mode 100644 diff --git a/doc/tutorial/oneif.png b/doc/tutorial/oneif.png old mode 100755 new mode 100644 diff --git a/doc/tutorial/pp.png b/doc/tutorial/pp.png old mode 100755 new mode 100644 diff --git a/doc/tutorial/star.png b/doc/tutorial/star.png old mode 100755 new mode 100644 diff --git a/doc/tutorial/threeif.png b/doc/tutorial/threeif.png old mode 100755 new mode 100644 diff --git a/doc/tutorial/tutorial.texi b/doc/tutorial/tutorial.texi old mode 100755 new mode 100644