From: Ben Pfaff <blp@cs.stanford.edu>
Date: Thu, 13 Jul 2017 00:47:48 +0000 (-0700)
Subject: Fix menus.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=1b43a47fcffcac688c7eddf6aee9c3fa985a1f74

Fix menus.
---

diff --git a/spv-file-format.texi b/spv-file-format.texi
index 1ef7f9cad5..c325a5dd4d 100644
--- a/spv-file-format.texi
+++ b/spv-file-format.texi
@@ -1587,6 +1587,7 @@ elements are assigned @code{id} attributes that are never referenced.
 * SPV Detail coordinates Element::
 * SPV Detail faceting Element::
 * SPV Detail facetLayout Element::
+* SPV Detail style Element::
 @end menu
 
 @node SPV Detail visualization Element