[website: Join manual into one page, add toc's and titles.
Petr Rockai <me@mornfall.net>**20130121122138
 Ignore-this: 1dbd6cbf1ceb9d0df4c5aadb24b05b91
] hunk ./website/CMakeLists.txt 1
-macro( page from to )
+macro( page to srcdir )
+  set( sources "" )
+  foreach( source ${ARGN} )
+    list( APPEND sources "${srcdir}/${source}" )
+  endforeach()
hunk ./website/CMakeLists.txt 8
-    DEPENDS ${from} template.html
+    DEPENDS ${sources} template.html
hunk ./website/CMakeLists.txt 13
-            ${from}
+            --toc
+            ${sources}
hunk ./website/CMakeLists.txt 22
-    page( ${sourcedir}/${source} ${target} )
+    page( ${target} ${sourcedir} ${source} )
hunk ./website/CMakeLists.txt 37
-page( ../HACKING development.html )
-page( ../NEWS whatsnew.html )
-pages( ../manual title.mdwn overview.mdwn using.mdwn language.mdwn )
+page( development.html .. HACKING )
+page( whatsnew.html .. NEWS )
+page( manual.html ../manual title.mdwn overview.mdwn commands.mdwn
+                            using.mdwn language.mdwn cesmi.mdwn )
hunk ./website/download.mdwn 1
+% Obtaining DiVinE
+
hunk ./website/template.html 17
-<a href="overview.html">Overview</a>
-<a href="using.html">Guide</a>
-<a href="language.html">Language</a>
+<a href="manual.html">Manual</a>
hunk ./website/template.html 25
+
hunk ./website/template.html 27
+  <h1>$title$</h1>
+<div id="toc">
+$toc$
+</div>