From c846c1551adb8c81b01b132737869a40e6b87c68 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Mon, 3 Sep 2012 06:10:27 -0600 Subject: [PATCH] scribble: fix for Latex and `\Ssection' changes original commit: 16621ad437f766f3e6dd9241f23d2795424ae6ab --- collects/scribble/scribble.tex | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex index ceed5948..af5549de 100644 --- a/collects/scribble/scribble.tex +++ b/collects/scribble/scribble.tex @@ -169,10 +169,10 @@ \newcommand{\Ssubsubsubsubsectionhidden}[1]{\Ssubsubsubsectionhidden{#1}} % Used for parts with the 'hidden style variant: -\newcommand{\sectionhidden}[1]{\Ssection{#1}} -\newcommand{\subsectionhidden}[1]{\Ssubsection{#1}} -\newcommand{\subsubsectionhidden}[1]{\Ssubsubsection{#1}} -\newcommand{\subsubsubsectionhidden}[1]{\Ssubsubsubsection{#1}} +\newcommand{\sectionhidden}[1]{\Ssection{#1}{#1}} +\newcommand{\subsectionhidden}[1]{\Ssubsection{#1}{#1}} +\newcommand{\subsubsectionhidden}[1]{\Ssubsubsection{#1}{#1}} +\newcommand{\subsubsubsectionhidden}[1]{\Ssubsubsubsection{#1}{#1}} % For hidden parts with an empty title: \newcommand{\notitlesection}{\vspace{2ex}\phantomsection\noindent}