diff --git a/lustrec.odocl b/lustrec.odocl
new file mode 100644
index 0000000000000000000000000000000000000000..81f5ff3a428a7560cfe46bf95456ba6802d35353
--- /dev/null
+++ b/lustrec.odocl
@@ -0,0 +1,48 @@
+Access
+Automata
+backends/C/C_backend
+backends/C/C_backend_common
+backends/C/C_backend_header
+backends/C/C_backend_main
+backends/C/C_backend_makefile
+backends/C/C_backend_spec
+backends/C/C_backend_src
+backends/Horn/Horn_backend
+Basic_library
+Causality
+Clock_calculus
+Clock_predef
+Clocks
+Compiler_common
+Corelang
+Delay
+Delay_predef
+Dimension
+Env
+Inliner
+Lexer_lustre
+LexerLustreSpec
+Liveness
+Location
+Log
+Lusic
+LustreSpec
+Machine_code
+Main_lustre_compiler
+Modules
+Normalization
+Optimize_machine
+Optimize_prog
+Options
+Parse
+Parser_lustre
+Printers
+Scheduling
+SortProg
+Splitting
+Stateless
+Type_predef
+Types
+Typing
+Utils
+Version