Added dtd reference in ls method while generating xml output.

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 4240edd806e78a9738946a8aa3b3c55ad8ac12be..55f16bdc1c8dd2b2d6110830482692f98447440d 100755 (executable)
--- a/helm/http_getter/http_getter.pl.in
+++ b/helm/http_getter/http_getter.pl.in
@@ -402,14 +402,17 @@ sub finduris { # find uris for cic and theory trees generation
  }
                             # now generate OUTPUT:
                             # output will be saved in $content
- if ($format eq "txt") { 
+ if ($format eq "txt") { # TXT output
   foreach $key (sort(keys %dirs)) {
    $content .= "dir, " . $key . "\n";
   }
   foreach $key (sort(keys %objects)) {
    $content .= "object, $key, " . $objects{$key} . "\n";
   }
- } elsif ($format eq "xml") {
+ } elsif ($format eq "xml") { # XML output
+  $content .= '<?xml version="1.0" encoding="ISO-8859-1"?>' . "\n";
+  $content .= '<!DOCTYPE ls SYSTEM ';
+  $content .= '"http://localhost:8081/getdtd?uri=ls.dtd">' . "\n\n";
   $content .= "<ls>\n";
   foreach $key (sort(keys %dirs)) {
    $content .= "\t<section>$key</section>\n";