Coccinelle release 1.0.0-rc12

[bpt/coccinelle.git] / docs / manual / manual.tex

diff --git a/docs/manual/manual.tex b/docs/manual/manual.tex
new file mode 100644 (file)
index 0000000..482072c
--- /dev/null
+++ b/docs/manual/manual.tex
@@ -0,0 +1,4 @@
+\input{main.tex}
+
+% Thisis just a placeholder for the actual contents of the manual.
+% Todo: replace this file with 'main.tex'?