miniroon

commit 376fc0a2ece9f9cd1c181035ed62f256bfeea40c
parent f7846d7f773d80ca6e04fbfe12757841750f4c36
Author: Jan Pobrislo <ccx@te2000.cz>
Date:   Fri, 25 Apr 2025 20:52:36 +0000

properly escape substitutions

Diffstat:
M
doc/spec.html
 | 
10
+++++-----
M
doc/spec2html.awk
 | 
6
+++---

2 files changed, 8 insertions(+), 8 deletions(-)
diff --git a/doc/spec.html b/doc/spec.html
@@ -25,7 +25,7 @@
 <tr><td>18</td><td><code>	First will_be byte,</code></td></tr>
 <tr><td>19</td><td><code>	Rest will_be sequence_of_bytes.</code></td></tr>
 <tr><td>20</td><td><code></code></td><td rowspan="1"></td></tr>
-<tr><td>21</td><td><code>netstring_encoding(PayloadBytes) -->gt;  </code></td><td rowspan="1">Netstring is a sequence of bytes.</td></tr>
+<tr><td>21</td><td><code>netstring_encoding(PayloadBytes) --&gt;  </code></td><td rowspan="1">Netstring is a sequence of bytes.</td></tr>
 <tr><td>22</td><td><code>	netstring_prefix_for_payload(PayloadBytes),  </code></td><td rowspan="1">It consists of prefix,</td></tr>
 <tr><td>23</td><td><code>	PayloadBytes, </code></td><td rowspan="1">payload,</td></tr>
 <tr><td>24</td><td><code>	`,`.  </code></td><td rowspan="5">and terminator. Terminator is single ASCII comma `,`.</td></tr>
@@ -43,21 +43,21 @@ in which case it's `0`.</td></tr>
 <tr><td>33</td><td><code></code></td></tr>
 <tr><td>34</td><td><code>netstring_prefix_for_payload(PayloadBytes, A, B) :-</code></td></tr>
 <tr><td>35</td><td><code>	(  var(PayloadBytes)</code></td></tr>
-<tr><td>36</td><td><code>	->gt; netstring_prefix_codes(Prefix, A, B),</code></td></tr>
+<tr><td>36</td><td><code>	-&gt; netstring_prefix_codes(Prefix, A, B),</code></td></tr>
 <tr><td>37</td><td><code>	   number_codes(PayloadLength, Prefix),</code></td></tr>
 <tr><td>38</td><td><code>	   length(PayloadBytes, PayloadLength)</code></td></tr>
 <tr><td>39</td><td><code>	;  length(PayloadBytes, PayloadLength),</code></td></tr>
 <tr><td>40</td><td><code>	   number_codes(PayloadLength, Prefix),</code></td></tr>
 <tr><td>41</td><td><code>	   netstring_prefix_codes(Prefix, A, B)</code></td></tr>
 <tr><td>42</td><td><code>	).</code></td></tr>
-<tr><td>43</td><td><code>netstring_prefix_codes(`0`) -->gt; `0:`, !.</code></td></tr>
-<tr><td>44</td><td><code>netstring_prefix_codes([C|Cs]) -->gt;</code></td></tr>
+<tr><td>43</td><td><code>netstring_prefix_codes(`0`) --&gt; `0:`, !.</code></td></tr>
+<tr><td>44</td><td><code>netstring_prefix_codes([C|Cs]) --&gt;</code></td></tr>
 <tr><td>45</td><td><code>	nonzero_digit(C),</code></td></tr>
 <tr><td>46</td><td><code>	!,</code></td></tr>
 <tr><td>47</td><td><code>	digits(Cs),</code></td></tr>
 <tr><td>48</td><td><code>	`:`.</code></td></tr>
 <tr><td>49</td><td><code></code></td><td rowspan="5"></td></tr>
-<tr><td>50</td><td><code>nonzero_digit(Code) -->gt;</code></td></tr>
+<tr><td>50</td><td><code>nonzero_digit(Code) --&gt;</code></td></tr>
 <tr><td>51</td><td><code>	[Code],</code></td></tr>
 <tr><td>52</td><td><code>	{ assertion(ground(Code)) },</code></td></tr>
 <tr><td>53</td><td><code>	{ member(Code, `123456789`) }.</code></td></tr>
diff --git a/doc/spec2html.awk b/doc/spec2html.awk
@@ -29,9 +29,9 @@ BEGIN {
 }
 
 function entity_escape(s) {
-	gsub(/&/, "&amp;", s)
-	gsub(/</, "&lt;", s)
-	gsub(/>/, "&gt;", s)
+	gsub(/&/, "\\&amp;", s)
+	gsub(/</, "\\&lt;", s)
+	gsub(/>/, "\\&gt;", s)
 	return s
 }