Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:Ledest:erlang:24
erlang
0723-dialyzer-Fix-documentation-bug.patch
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File 0723-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
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor