From 7d2ce136fab84ca1f559fceaa3e457e1bb630380 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Mon, 3 Sep 2012 08:07:34 -0600
Subject: [PATCH] scribble: another Latex/PDF section repair

---
 collects/scribble/scribble.tex | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex
index af5549dec5..773b745a19 100644
--- a/collects/scribble/scribble.tex
+++ b/collects/scribble/scribble.tex
@@ -174,6 +174,9 @@
 \newcommand{\subsubsectionhidden}[1]{\Ssubsubsection{#1}{#1}}
 \newcommand{\subsubsubsectionhidden}[1]{\Ssubsubsubsection{#1}{#1}}
 
+% Generated by `subsubsub*section':
+\newcommand{\SSubSubSubSection}[1]{\Ssubsubsubsubsectionhidden{#1}}
+
 % For hidden parts with an empty title:
 \newcommand{\notitlesection}{\vspace{2ex}\phantomsection\noindent}