Fix a bug just introduced in the output file (.dsl rather than .sgm)

diff --git a/cvstools/dsl2man b/cvstools/dsl2man
index cb78a1d6db9b0cb77e8ad6e7959c6093ee8c1e4e..a9f9dffce79b7f363bed63d8e59091fb41705496 100755 (executable)
--- a/cvstools/dsl2man
+++ b/cvstools/dsl2man
@@ -47,7 +47,7 @@ while (@FILES) {
     $file = shift @FILES;
 
     ($reference = $file) =~ s/\.dsl/\.sgm/;
-    $reference = basename($file);
+    $reference = basename($reference);
     open (REF, ">$outputdir/$reference") or
         die("cannot write to $outputdir/$reference: $!\n");