From 509bf8e1552855aeb2daf682e6c8a3e0cd401002 Mon Sep 17 00:00:00 2001 From: Pekka Riikonen Date: Tue, 10 May 2005 15:33:42 +0000 Subject: [PATCH] updates. --- README.DIST | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/README.DIST b/README.DIST index f741abe1..a2942501 100644 --- a/README.DIST +++ b/README.DIST @@ -71,16 +71,11 @@ directories. Make sure they are not compiled and does not include any extra files. If you haven't compiled them after the CVS checkout, they do not include any extra files. -NOTE for 'toolkit' distribution: Before giving make dist the following -must be done: +NOTE for 'toolkit' distribution: Running ./configure for toolkit +distribution is not necessary. Toolkit is packaged simply by giving +command: - go to util/robodoc/ - give ./configure;make to compile robodoc - go to doc/ - give make toolkit-ref-html - -This then creates the Toolkit reference manual. After this the toolkit -distribution can be packaged. + makedist Before releasing the distribution -- 2.24.0