From 4008ec581423d5e17ac5e35ca9ee307f79f20a49 Mon Sep 17 00:00:00 2001
From: Kugel Fuhr <98353208+kugelfuhr@users.noreply.github.com>
Date: Sun, 1 Sep 2024 10:23:10 +0200
Subject: [PATCH] Document the new #pragma names.

---
 doc/cc65.sgml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/doc/cc65.sgml b/doc/cc65.sgml
index efe48b61b..2219ccf6a 100644
--- a/doc/cc65.sgml
+++ b/doc/cc65.sgml
@@ -1273,6 +1273,12 @@ If the first parameter is <tt/push/, the old value is saved onto a stack
 before changing it. The value may later be restored by using the <tt/pop/
 parameter with the <tt/#pragma/.
 
+For all pragma names that contain hyphens, the same name using underlines
+instead of the hyphens is available as an alternative. While the former
+resembles the corresponding command line option and is more orthogonal, the
+latter may be more compatible with external tools that rewrite the token
+sequences of the input.
+
 
 <sect1><tt>#pragma allow-eager-inline ([push,] on|off)</tt><label id="pragma-allow-eager-inline"><p>