Make sure HTML man pages are in build directory.

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

index 9a09c78de8c2b01ae6365d13d9ee502bbb5a6977..5290d1bf70373d0e8d5b9e2a9c618aff1191b4b1 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>"