X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Fspv-file-format.texi;h=e001d9e5906e84b3580b642ebe8e7f48d1c97be8;hb=08e7ac5d6dee8626969223b055fdf44ab1fc964c;hp=614a3483ce5913e76badb942e518eff6c975aa66;hpb=3fa740d165a0c2ef7c03b11633f65c421f07f0a2;p=pspp

diff --git a/doc/dev/spv-file-format.texi b/doc/dev/spv-file-format.texi
index 614a3483ce..e001d9e590 100644
--- a/doc/dev/spv-file-format.texi
+++ b/doc/dev/spv-file-format.texi
@@ -3660,6 +3660,7 @@ style
    :font-size?
    :font-style=(regular | italic)?
    :font-weight=(regular | bold)?
+   :font-underline=(none | underline)?
    :labelLocationVertical=(positive | negative | center)?
    :margin-bottom=dimension?
    :margin-left=dimension?