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