From 3d134f436cc712f6208f3f0f7eeb314f2b5c6a9d Mon Sep 17 00:00:00 2001
From: ploc <ploc@041b043f-8d7c-46b2-b46e-ef0dd855326e>
Date: Mon, 1 Dec 2014 22:37:07 +0000
Subject: [PATCH] Doc file

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@377 041b043f-8d7c-46b2-b46e-ef0dd855326e
---
 lustrec.odocl | 48 ++++++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 48 insertions(+)
 create mode 100644 lustrec.odocl

diff --git a/lustrec.odocl b/lustrec.odocl
new file mode 100644
index 00000000..81f5ff3a
--- /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
-- 
GitLab