From 5826bc5760ffe90ba12229bd809c1a120bc2fd0e Mon Sep 17 00:00:00 2001 From: enge Date: Tue, 18 Nov 2008 13:47:43 +0000 Subject: 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 --- README.dev | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'README.dev') 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. -- cgit v1.2.1