Index: doc/user/06_feature/gpmi/rosetta/Makefile
===================================================================
--- doc/user/06_feature/gpmi/rosetta/Makefile	(nonexistent)
+++ doc/user/06_feature/gpmi/rosetta/Makefile	(revision 8715)
@@ -0,0 +1,4 @@
+all: FORCE
+	cd ../util && ./rosetta_genpages.sh
+
+FORCE: