X-Git-Url: http://shamusworld.gotdns.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=build.rb;h=82693f10a11f6cccca13e7d51821a288f56c9a36;hb=cb8b5fbcbf716fba56b57f652a90b5d0f65e7bed;hp=7a1664784b009e3250713c2db4a1005c11d00893;hpb=5b49dc530e446f2f6afbb68f9949edf20ad7bda3;p=ardour-manual

diff --git a/build.rb b/build.rb
index 7a16647..82693f1 100755
--- a/build.rb
+++ b/build.rb
@@ -243,9 +243,10 @@ class Server
     def run(options)
         require 'webrick'
 	listener = options[:watch] && start_watcher
+        port = options[:port] || 8000
 	    
-        puts "Serving at http://localhost:8000/ ..."
-        server = WEBrick::HTTPServer.new :Port => 8000, :DocumentRoot => CONFIG[:output_dir]
+        puts "Serving at http://localhost:#{port}/ ..."
+        server = WEBrick::HTTPServer.new :Port => port, :DocumentRoot => CONFIG[:output_dir]
 	trap 'INT' do 
             server.shutdown 
         end
@@ -268,14 +269,15 @@ def main
 	opts.banner = %{Usage: build.rb <command> [options]
 
 Use 'build.rb' to build the manual.  Use 'build.rb serve' to also
-start a web server.  Options:
+start a web server; setting any web server options implies "serve".
 }
-        opts.on("--watch", "Watch for changes") { options[:watch] = true }
+        opts.on("-w", "--watch", "Watch for changes") { options[:watch] = true }
+        opts.on("-p", "--port N", Integer, "Specify port for web server") { |p| options[:port] = p }
     end.parse!
 
     Site.new.build
 
-    if ARGV == ['serve']
+    if options[:watch] || options[:port] || (ARGV.length > 0 && "serve".start_with?(ARGV[0]))
         Server.new.run(options)
     end
 end