[Doc/release] clarify last steps

doc/release/release.tex

@@ -18,7 +18,6 @@
 \input{intro}
 \input{branch}
 \input{build}
-
 \input{website}
 
 \end{document}

doc/release/website.tex

-\chapter{The Distribution Stage}
+\chapter{The Website Stage}
 
 Where all our efforts goes on the web.  There are two very different
 tasks for \FramaC to go online.  Authoring the web site pages is the
@@ -6,10 +6,15 @@ responsibility of the developpers and the release manager. Publishing
 the web site can only be performed by authorized peoples, who may not
 be the release manager.
 
+\section{Requirements}
+
+You need \texttt{pandoc} and \texttt{tidy} to perform those steps.
+They can be installed from your Linux distribution.
+
 \section{Authoring the Pages}
 To edit the web pages of the site, developpers only need the
 \texttt{trunk} branch of the repository. The web site sources are in
-\texttt{doc/www/src}.
+\texttt{src} or the checkout of the \texttt{website} tree.
 
 \subsection{Editing Web Pages}
 
@@ -21,8 +26,9 @@ Compile the web pages with:
   \$ make local
 \end{shell}
 
-Here, you get a snapshot of the web-site in \texttt{doc/www/src},
-without any downlable resources.
+This way, you get a snapshot of the web-site in \texttt{src},
+without any downloadable resources. You can start browsing at
+\texttt{index.html}
 
 \subsection{Adding News}
 The news are defined in the \texttt{news.def} page. All the news
@@ -75,17 +81,16 @@ The current (\emph{awkward}) procedure is as follows:
   You should at least update the links to reference documentation from the
   \texttt{support.prehtml} page.
   \end{enumerate}
-\item Add the page \texttt{install-NAME} where \texttt{NAME} is the version
-  name of the distribution (diff the file \texttt{INSTALL} of the previous
-  release with \texttt{TRUNK/INSTALL} and update \texttt{install-PREVIOUS-NAME}
-  accordingly).
+\item Copy the file \texttt{INSTALL.md} from Frama-C to
+  \texttt{INSTALL-NAME.md} where \texttt{NAME} is the version name of the
+  distribution.
 \item Build the web site:
   \begin{shell}[gobble=4]
     \$ make local
     \$ make distrib
   \end{shell}
-  You get a snap-shot of the repository in the newly created
-  \texttt{doc/www/distrib} directory. Test it carefully.\\
+  You get a snap-shot of the repository in the \texttt{www} directory.
+  Test it carefully.\\
 
   Automatic testing for compliance to \textsf{W3C} and links consistency
   was launched (install the required tools before if necessary).