From 91d3b3ba428263340908e2a86cb4c9849c2c1724 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 1 Apr 2008 17:11:30 +0000
Subject: [PATCH] fix Scribble reader to attach originalness to the syntax
 objects that it generates, so that Check Syntax works properly on Scribble
 documents

svn: r9125

original commit: aee99cd175768fbfec771aa936fbcdc73b988c29
---
 collects/scribble/latex-render.ss | 5 ++++-
 collects/scribble/scribble.tex    | 7 +++++++
 2 files changed, 11 insertions(+), 1 deletion(-)

diff --git a/collects/scribble/latex-render.ss b/collects/scribble/latex-render.ss
index c711219f..a78cee47 100644
--- a/collects/scribble/latex-render.ss
+++ b/collects/scribble/latex-render.ss
@@ -51,12 +51,15 @@
                      (pair? number))
             (when (part-style? d 'index)
               (printf "\\twocolumn\n\\parskip=0pt\n\\addcontentsline{toc}{section}{Index}\n"))
-            (printf "\\~a~a{"
+            (printf "\\~a~a~a{"
                     (case (length number)
                       [(0 1) "sectionNewpage\n\n\\section"]
                       [(2) "subsection"]
                       [(3) "subsubsection"]
                       [else "subsubsection*"])
+                    (if (part-style? d 'hidden)
+                        "hidden"
+                        "")
                     (if (and (pair? number)
                              (not (car number)))
                         "*"
diff --git a/collects/scribble/scribble.tex b/collects/scribble/scribble.tex
index 1773faf2..b2a6e46e 100644
--- a/collects/scribble/scribble.tex
+++ b/collects/scribble/scribble.tex
@@ -80,6 +80,13 @@
 \newenvironment{supertabular}{\begin{longtable}}{\end{longtable}\vspace{-3ex}}
 \newcommand{\supertabline}{\vspace{-2ex}}
 
+\newcommand{\sectionhidden}[1]{\section{#1}}
+\newcommand{\subsectionhidden}[1]{\subsection{#1}}
+\newcommand{\subsubsectionhidden}[1]{\subsubsection{#1}}
+\newcommand{\sectionhidden*}[1]{\section*{#1}}
+\newcommand{\subsectionhidden*}[1]{\subsection*{#1}}
+\newcommand{\subsubsectionhidden*}[1]{\subsubsection*{#1}}
+
 % Scribble then generates the following:
 %
 %  \begin{document}