From c2b0d6b02ffaaa6e47eb24c3dca30beeea387aff Mon Sep 17 00:00:00 2001
From: Eelco Dolstra <e.dolstra@tudelft.nl>
Date: Fri, 12 Nov 2004 23:22:08 +0000
Subject: [PATCH] * Document --eval-only and --parse-only options in
 nix-instantiate.

---
 doc/manual/nix-instantiate.xml | 25 +++++++++++++++++++++++++
 doc/manual/opt-common-syn.xml  |  1 +
 doc/manual/opt-common.xml      | 11 +++++++++++
 src/nix-instantiate/help.txt   |  5 +++--
 4 files changed, 40 insertions(+), 2 deletions(-)

diff --git a/doc/manual/nix-instantiate.xml b/doc/manual/nix-instantiate.xml
index 69630cb552..dc72ab83bc 100644
--- a/doc/manual/nix-instantiate.xml
+++ b/doc/manual/nix-instantiate.xml
@@ -8,6 +8,10 @@
     <cmdsynopsis>
       <command>nix-instantiate</command>
       &opt-common-syn;
+      <group choice='opt'>
+        <arg choice='plain'><option>--parse-only</option></arg>
+        <arg choice='plain'><option>--eval-only</option></arg>
+      </group>
       <arg choice='plain' rep='repeat'><replaceable>files</replaceable></arg>
     </cmdsynopsis>
   </refsynopsisdiv>
@@ -39,6 +43,27 @@
 
       &opt-common;
 
+      <varlistentry>
+        <term><option>--parse-only</option></term>
+        <listitem>
+          <para>
+            Just parse the input files, and print their abstract
+            syntax trees on standard output in ATerm format.
+          </para>
+        </listitem>
+      </varlistentry>
+      
+      <varlistentry>
+        <term><option>--eval-only</option></term>
+        <listitem>
+          <para>
+            Just parse and evaluate the input files, and print the
+            resulting values on standard output.  No instantiation of
+            store expressions takes place.
+          </para>
+        </listitem>
+      </varlistentry>
+
     </variablelist>
 
   </refsection>
diff --git a/doc/manual/opt-common-syn.xml b/doc/manual/opt-common-syn.xml
index 033189d0b9..50f8f043db 100644
--- a/doc/manual/opt-common-syn.xml
+++ b/doc/manual/opt-common-syn.xml
@@ -16,3 +16,4 @@
 <arg><option>--keep-failed</option></arg>
 <arg><option>-K</option></arg>
 <arg><option>--fallback</option></arg>
+<arg><option>--readonly-mode</option></arg>
diff --git a/doc/manual/opt-common.xml b/doc/manual/opt-common.xml
index 0cfd6ba215..7650d62e51 100644
--- a/doc/manual/opt-common.xml
+++ b/doc/manual/opt-common.xml
@@ -171,3 +171,14 @@
   </listitem>
 </varlistentry>
 
+
+<varlistentry>
+  <term><option>--readonly-mode</option></term>
+  <listitem>
+    <para>
+      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.
+    </para>
+  </listitem>
+</varlistentry>
diff --git a/src/nix-instantiate/help.txt b/src/nix-instantiate/help.txt
index fbe9d92dbf..38355ae4a2 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