Changeset 2441

Timestamp:

2001-05-17T16:15:58+12:00 (23 years ago)

Author:

sjboddie

Message:

* empty log message *

File:

• trunk/gsdl/bin/script/create_distributions.pl (modified) (1 diff)

trunk/gsdl/bin/script/create_distributions.pl

@@ -243 +243 @@
     &util::cp (&util::filename_cat($docdir, "COPYING"), $install_dir);
     &util::cp (&util::filename_cat($docdir, "Support.htm"), $install_dir);
-    # don't want manual for web distributions
+    # don't want manuals for web distributions
     if ($isweb) {
-    my $manfile = &util::filename_cat ($install_dir, "docs", "Manual.pdf");
+    my $manfile = &util::filename_cat ($install_dir, "docs", "User.pdf");
+    &util::rm ($manfile) if -e $manfile;
+    $manfile = &util::filename_cat ($install_dir, "docs", "Install.pdf");
+    &util::rm ($manfile) if -e $manfile;
+    $manfile = &util::filename_cat ($install_dir, "docs", "Developer.pdf");
     &util::rm ($manfile) if -e $manfile;
     }