diff --git a/doc/support/MakeLaTeXModern b/doc/support/MakeLaTeXModern
new file mode 100644
index 0000000000000000000000000000000000000000..d1b204a14b1ea83265f8686f43d31cfa3f116629
--- /dev/null
+++ b/doc/support/MakeLaTeXModern
@@ -0,0 +1,25 @@
+FRAMAC_MODERN=frama-c-book.cls frama-c-cover.pdf frama-c-left.pdf frama-c-right.pdf
+
+frama-c-book.cls: ../frama-c-book.cls
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"
+
+frama-c-cover.pdf: ../frama-c-cover.pdf
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"
+
+frama-c-right.pdf: ../frama-c-right.pdf
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"
+
+frama-c-left.pdf: ../frama-c-left.pdf
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"