File 0287-dialyzer-Fix-documentation-bug.patch of Package erlang

From 3b21b0ce49e6db62002c8d6a2948bccb48541e5f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?John=20H=C3=B6gberg?= <john@erlang.org>
Date: Tue, 18 Apr 2023 17:32:15 +0200
Subject: [PATCH 3/3] dialyzer: Fix documentation bug

This is an existing bug that the argparse PR shook loose.
---
 lib/dialyzer/doc/src/dialyzer.xml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/lib/dialyzer/doc/src/dialyzer.xml b/lib/dialyzer/doc/src/dialyzer.xml
index 05abcc4daf..9a2b409348 100644
--- a/lib/dialyzer/doc/src/dialyzer.xml
+++ b/lib/dialyzer/doc/src/dialyzer.xml
@@ -592,6 +592,12 @@ dialyzer --plts plt_1 ... plt_n -- files_to_analyze</code>
     <datatype>
       <name name="file_location"></name>
     </datatype>
+    <datatype>
+      <name name="filename_opt"></name>
+    </datatype>
+    <datatype>
+      <name name="format_option"></name>
+    </datatype>
     <datatype>
       <name name="warn_option"></name>
       <desc>
-- 
2.35.3

openSUSE Build Service is sponsored by