From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 1 Jan 2021 01:43:04 +0000 (-0800)
Subject: spv-file-format: Footnotes can't refer to footnotes.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=bc63a84d447ff6f771a0e61d061e38623f6c0f81;p=pspp

spv-file-format: Footnotes can't refer to footnotes.
---

diff --git a/doc/dev/spv-file-format.texi b/doc/dev/spv-file-format.texi
index 0e3eb19e88..49662dd7ac 100644
--- a/doc/dev/spv-file-format.texi
+++ b/doc/dev/spv-file-format.texi
@@ -1067,6 +1067,9 @@ Footnote => Value[text] (58 @math{|} 31 Value[marker]) int32[show]
 Each footnote has @code{text} and an optional custom @code{marker}
 (such as @samp{*}).
 
+The syntax for Value would allow footnotes (and their markers) to
+reference other footnotes, but in practice this doesn't work.
+
 @code{show} is a 32-bit signed integer.  It is positive to show the
 footnote or negative to hide it.  Its magnitude is often 1, and in
 other cases tends to be the number of references to the footnote.