rename docs

diff --git a/README b/README
new file mode 100644 (file)
index 0000000..de7c975
--- /dev/null
+++ b/README
@@ -0,0 +1 @@
+See manual.html.

diff --git a/build.ninja b/build.ninja
index 50bbe4e..981a6a6 100644 (file)
--- a/build.ninja
+++ b/build.ninja
@@ -63,8 +63,8 @@ build graph.png: gengraph @graph.dot
 rule asciidoc
   command = asciidoc -a toc $in
 
-build README.html: asciidoc README.asciidoc
-build doc: phony | README.html
+build manual.html: asciidoc manual.asciidoc
+build doc: phony | manual.html
 
 # Use the built-in phony rule and an order-only dependency
 # to make building "all" build all targets.

diff --git a/README.asciidoc b/manual.asciidoc
similarity index 100%
rename from README.asciidoc
rename to manual.asciidoc