From 40ac269f9458eca3a87a9edb6f2e9ea6787b19c0 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 3 Sep 2012 08:07:34 -0600 Subject: [PATCH] scribble: another Latex/PDF section repair original commit: 7d2ce136fab84ca1f559fceaa3e457e1bb630380 --- collects/scribble/scribble.tex | 3 +++ 1 file changed, 3 insertions(+) diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex index af5549de..773b745a 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}