how to create the web documentation in html

git-svn-id: svn://scm.gforge.inria.fr/svn/mpc/trunk@337 211d60ee-9f03-0410-a15a-8952a2c7a4e4

1 files changed, 6 insertions, 2 deletions

diff --git a/README.dev b/README.dev
index c21f5b9..699bf39 100644
--- a/README.dev
+++ b/README.dev
@@ -21,6 +21,10 @@ Creating a new release
    creates the tarball for distribution.
 4) Create an svn tag from inside the svn root:
    svn cp trunk tags/VERSION -m "Tagging release VERSION"
-5) After the release, update the version number in configure.ac, INSTALL
+5) Update the web page inside svn and on the server.
+   The html documentation is created with
+      makeinfo --html --no-split mpc.texi
+   and the resulting mpc.html is copied to content_html.php.
+6) After the release, update the version number in configure.ac, INSTALL
    and mpc.h, and reactivate the -Werror option in configure.ac.
-6) Commit the changes to svn.
+7) Commit the changes to svn.