chiark / gitweb /
~mdw / disorder / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ef566eb)
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 patch | blob | blame | history

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)
 
 for page; do
   title=$(basename $page)
-  output=$page.$extension
+  output=$(basename $page).$extension
   echo "$page -> $output" >&2
   exec > $output.new
   echo "<html>"
   echo "$page -> $output" >&2
   exec > $output.new
   echo "<html>"
Multi-user software jukebox -- https://www.greenend.org.uk/rjk/disorder/