diff --git a/doc/manual/nix-instantiate.xml b/doc/manual/nix-instantiate.xml
index 69630cb55..dc72ab83b 100644
--- a/doc/manual/nix-instantiate.xml
+++ b/doc/manual/nix-instantiate.xml
@@ -8,6 +8,10 @@
nix-instantiate
&opt-common-syn;
+
+
+
+ files
@@ -39,6 +43,27 @@
&opt-common;
+
+
+
+
+ Just parse the input files, and print their abstract
+ syntax trees on standard output in ATerm format.
+
+
+
+
+
+
+
+
+ Just parse and evaluate the input files, and print the
+ resulting values on standard output. No instantiation of
+ store expressions takes place.
+
+
+
+
diff --git a/doc/manual/opt-common-syn.xml b/doc/manual/opt-common-syn.xml
index 033189d0b..50f8f043d 100644
--- a/doc/manual/opt-common-syn.xml
+++ b/doc/manual/opt-common-syn.xml
@@ -16,3 +16,4 @@
+
diff --git a/doc/manual/opt-common.xml b/doc/manual/opt-common.xml
index 0cfd6ba21..7650d62e5 100644
--- a/doc/manual/opt-common.xml
+++ b/doc/manual/opt-common.xml
@@ -171,3 +171,14 @@
+
+
+
+
+
+ When this option is used, no attempt is made to open the Nix
+ database. Most Nix operations do need database access, so those
+ operations will fail.
+
+
+
diff --git a/src/nix-instantiate/help.txt b/src/nix-instantiate/help.txt
index fbe9d92db..38355ae4a 100644
--- a/src/nix-instantiate/help.txt
+++ b/src/nix-instantiate/help.txt
@@ -10,6 +10,7 @@ Options:
--version: output version information
--help: display help
-Options:
-
--verbose / -v: verbose operation (may be repeated)
+
+ --eval-only: evaluate and print resulting term; do not instantiate
+ --parse-only: parse and print abstract syntax tree