From b5db02de999bce426fa81064b394aafadeb24c75 Mon Sep 17 00:00:00 2001
From: Oscar Dowson <odow@users.noreply.github.com>
Date: Tue, 21 Nov 2023 12:15:09 +1300
Subject: [PATCH] Update .vale.ini

---
 docs/.vale.ini | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/docs/.vale.ini b/docs/.vale.ini
index ca0e1f40d73..ffb7973c771 100644
--- a/docs/.vale.ini
+++ b/docs/.vale.ini
@@ -19,3 +19,6 @@ Google.Periods = NO
 
 [docs/src/packages/Manopt.md]
 Google.Exclamation = NO
+
+[docs/src/packages/PolyJuMP.md]
+Google.Latin = NO