trying a new way to do the dependencies for append_to_form

Author: martin-henz

scripts/do.sh

@@ -1,5 +1,8 @@
 #! /usr/bin/env bash
 
+# hand-paginated index file for LaTeX => PDF
+HAND_PAGINATED="hand-paginated.ind"
+
 # DOCS is the local target folder, before deployment
 DOCS="docs_out"
 
@@ -54,7 +57,9 @@ epub() {
 
 clean() {
 	rm -rf ${DOCS}/*
+	mv ${LATEX_PDF}/${HAND_PAGINATED} .
 	rm -rf ${LATEX_PDF}/*
+	mv ${HAND_PAGINATED} ${LATEX_PDF}
 	rm -rf ${LATEX_EPUB}/*
 	rm -rf ${GENERATED_HTML}/*
 	rm -rf ${GENERATED_JS}/*

xml/chapter4/section4/subsection1.xml

@@ -1978,6 +1978,16 @@ rule(append_to_form(pair($u, $v), $y, pair($u, $z)),
      append_to_form($v, $y, $z)))`);
       </JAVASCRIPT_RUN>
     </SNIPPET>
+    <SNIPPET HIDE="yes">
+      <NAME>append_to_form_just_the_rules</NAME>
+      <JAVASCRIPT>
+process_query(`assert(
+rule(append_to_form(null, $y, $y)))`);
+process_query(`assert(
+rule(append_to_form(pair($u, $v), $y, pair($u, $z)),
+     append_to_form($v, $y, $z)))`);
+      </JAVASCRIPT>
+    </SNIPPET>
     <SNIPPET HIDE="yes">
       <NAME>append_to_form_example_1</NAME>
       <JAVASCRIPT_TEST>
@@ -2027,7 +2037,8 @@ process_query('append_to_form(list(1, 2), list(3, 4), $xs)');
     <SCHEMEINLINE>append</SCHEMEINLINE> of two lists:
     <SNIPPET>
       <NAME>append_to_form_example_2</NAME>
-      <REQUIRES>append_to_form</REQUIRES>
+      <REQUIRES>process_query</REQUIRES>
+      <REQUIRES>append_to_form_just_the_rules</REQUIRES>
       <EXPECTED>'append_to_form(list("a", "b"), list("c", "d"), list("a", "b", "c", "d"))'</EXPECTED>
       <SCHEMEPROMPT>
 ;;; Query input:
@@ -2061,7 +2072,6 @@ Query results:
 append_to_form(list("a", "b"), list("c", "d"), list("a", "b", "c", "d"))
       </JAVASCRIPT_OUTPUT>
     </SNIPPET>
-    
     What is more striking, we can use the same rules to ask the question
     <SPLITINLINE>
       <SCHEME>
@@ -2080,7 +2090,8 @@ append_to_form(list("a", "b"), list("c", "d"), list("a", "b", "c", "d"))
     This is done as follows:
     <SNIPPET>
       <NAME>append_to_form_example_3</NAME>
-      <REQUIRES>append_to_form</REQUIRES>
+      <REQUIRES>process_query</REQUIRES>
+      <REQUIRES>append_to_form_just_the_rules</REQUIRES>
       <EXPECTED>'append_to_form(list("a", "b"), list("c", "d"), list("a", "b", "c", "d"))'</EXPECTED>
       <JAVASCRIPT_TEST>
 first_answer('append_to_form(list("a", "b"), y, list("a", "b", "c", "d"))');
@@ -2129,7 +2140,8 @@ append_to_form(list("a", "b"), list("c", "d"), list("a", "b", "c", "d"))
     </SPLITINLINE>
     <SNIPPET>
       <NAME>append_to_form_example_4</NAME>
-      <REQUIRES>append_to_form</REQUIRES>
+      <REQUIRES>process_query</REQUIRES>
+      <REQUIRES>append_to_form_just_the_rules</REQUIRES>
       <EXPECTED>'append_to_form(list("a", "b", "c", "d"), null, list("a", "b", "c", "d"))'</EXPECTED>
       <JAVASCRIPT_TEST>
 first_answer('append_to_form($x, $y, list("a", "b", "c", "d"))');