Merge pull request #246 from benediktahrens/type-in-type

add type-in-type flag

Author: benediktahrens

Makefile

@@ -57,7 +57,7 @@ include build/CoqMakefile.make
 endif
 everything: all html install
 OTHERFLAGS += $(MOREFLAGS)
-OTHERFLAGS += -noinit -indices-matter -w none
+OTHERFLAGS += -noinit -indices-matter -type-in-type -w none
 ifeq ($(VERBOSE),yes)
 OTHERFLAGS += -verbose
 endif