From e5e69e68c90b1afefa901df689aeee1924737741 Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Sat, 13 Jan 2018 12:19:29 -0800
Subject: [PATCH] MANUAL: recommend use of `raw_attribute` extension in header
 includes.

See #4253.
---
 MANUAL.txt | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/MANUAL.txt b/MANUAL.txt
index 0153337f1..bedc6ae62 100644
--- a/MANUAL.txt
+++ b/MANUAL.txt
@@ -3037,6 +3037,17 @@ template:
     $endif$
     $endfor$
 
+Raw content to include in the document's header may be specified
+using `header-includes`; however, it is important to mark up
+this content as raw code for a particular output format, using
+the [`raw_attribute` extension](#extension-raw_attribute)), or it
+will be interpreted as markdown. For example:
+
+    header-includes:
+    - ```{=latex}
+      \let\oldsection\section
+      \renewcommand{\section}[1]{\clearpage\oldsection{#1}}
+      ```
 
 Backslash escapes
 -----------------