From f641e5fe2bc0bb44cadd1180a4a5528c56b43dae Mon Sep 17 00:00:00 2001
From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Sat, 10 Mar 2001 11:25:36 +0000
Subject: [PATCH] Added dtd reference in ls method while generating xml output.

---
 helm/http_getter/http_getter.pl.in | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/helm/http_getter/http_getter.pl.in b/helm/http_getter/http_getter.pl.in
index 4240edd80..55f16bdc1 100755
--- 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";
-- 
2.39.2