Make sure HTML man pages are in build directory.

[disorder] / scripts / htmlman
diff --git a/scripts/htmlman b/scripts/htmlman

index 9a09c78..5290d1b 100755 (executable)
--- a/scripts/htmlman
+++ b/scripts/htmlman
@@ -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>"