chiark / gitweb /
Make sure HTML man pages are in build directory.
authorRichard Kettlewell <rjk@greenend.org.uk>
Sat, 5 Jun 2010 12:00:05 +0000 (13:00 +0100)
committerRichard Kettlewell <rjk@greenend.org.uk>
Sat, 5 Jun 2010 12:00:05 +0000 (13:00 +0100)
scripts/htmlman

index 9a09c78..5290d1b 100755 (executable)
@@ -48,7 +48,7 @@ done
 
 for page; do
   title=$(basename $page)
-  output=$page.$extension
+  output=$(basename $page).$extension
   echo "$page -> $output" >&2
   exec > $output.new
   echo "<html>"