Index: Makefile.in
===================================================================
diff -u -r41946a0c89313277849261c15dc582985383c969 -rf6538271e5cb6351ada8feb1b0ed8509f0a0f701
--- Makefile.in	(.../Makefile.in)	(revision 41946a0c89313277849261c15dc582985383c969)
+++ Makefile.in	(.../Makefile.in)	(revision f6538271e5cb6351ada8feb1b0ed8509f0a0f701)
@@ -250,6 +250,7 @@
 	$(src_doc_dir)/example-scripts/bagel.html \
 	$(src_doc_dir)/example-scripts/container.html \
 	$(src_doc_dir)/example-scripts/per-object-mixins.html \
+	$(src_doc_dir)/example-scripts/tutorial-properties.html \
 	$(src_doc_dir)/example-scripts/rosetta-abstract-type.html \
 	$(src_doc_dir)/example-scripts/rosetta-classes.html \
 	$(src_doc_dir)/example-scripts/rosetta-constraint-genericity.html \