diff --git a/index.md b/index.md
index dbf470505..4e223af47 100644
--- a/index.md
+++ b/index.md
@@ -58,4 +58,4 @@ See the [README file for further information.](README.md)
 
 ## Version
 
-Generated on 2024-06-09 15:43:36 -0700 from [f273154](https://github.com/google/verible/commit/f27315442892d00a0b6323ae7c877ed60f3e3e36)
+Generated on 2024-06-10 15:17:12 -0700 from [48a03f3](https://github.com/google/verible/commit/48a03f3cc2870081f767d11be64a390c03defd90)
diff --git a/lint.md b/lint.md
index 8c99870cc..4e94ab944 100644
--- a/lint.md
+++ b/lint.md
@@ -247,7 +247,11 @@ Checks that the file ends with a newline. See [Style: posix-file-endings].
 Enabled by default: true
 
 ### proper-parameter-declaration
-Checks that every `parameter` declaration is inside a package or in the formal parameter list of modules/classes and every `localparam` declaration is inside a module or class. See [Style: constants].
+Checks that every `parameter` declaration is inside a formal parameter list of modules/classes and every `localparam` declaration is inside a module, class or package. See [Style: constants].
+
+##### Parameters
+  * `package_allow_parameter` Default: `true` Allow parameters in packages (treated as a synonym for localparam).
+  * `package_allow_localparam` Default: `false` Allow localparams in packages.
 
 Enabled by default: false
 
@@ -327,4 +331,4 @@ Enabled by default: true
 
 ## Version
 
-Generated on 2024-06-09 15:43:36 -0700 from [f273154](https://github.com/google/verible/commit/f27315442892d00a0b6323ae7c877ed60f3e3e36)
+Generated on 2024-06-10 15:17:12 -0700 from [48a03f3](https://github.com/google/verible/commit/48a03f3cc2870081f767d11be64a390c03defd90)
diff --git a/verilog_format.md b/verilog_format.md
index 03a655473..06955afb2 100644
--- a/verilog_format.md
+++ b/verilog_format.md
@@ -129,4 +129,4 @@ path.
 
 ## Version
 
-Generated on 2024-06-09 15:43:36 -0700 from [f273154](https://github.com/google/verible/commit/f27315442892d00a0b6323ae7c877ed60f3e3e36)
+Generated on 2024-06-10 15:17:12 -0700 from [48a03f3](https://github.com/google/verible/commit/48a03f3cc2870081f767d11be64a390c03defd90)
diff --git a/verilog_lint.md b/verilog_lint.md
index c92656d38..83c6635f3 100644
--- a/verilog_lint.md
+++ b/verilog_lint.md
@@ -318,7 +318,11 @@ Checks that the file ends with a newline. See [Style: posix-file-endings].
 Enabled by default: true
 
 ### proper-parameter-declaration
-Checks that every `parameter` declaration is inside a package or in the formal parameter list of modules/classes and every `localparam` declaration is inside a module or class. See [Style: constants].
+Checks that every `parameter` declaration is inside a formal parameter list of modules/classes and every `localparam` declaration is inside a module, class or package. See [Style: constants].
+
+##### Parameters
+  * `package_allow_parameter` Default: `true` Allow parameters in packages (treated as a synonym for localparam).
+  * `package_allow_localparam` Default: `false` Allow localparams in packages.
 
 Enabled by default: false
 
@@ -398,4 +402,4 @@ Enabled by default: true
 
 ## Version
 
-Generated on 2024-06-09 15:43:36 -0700 from [f273154](https://github.com/google/verible/commit/f27315442892d00a0b6323ae7c877ed60f3e3e36)
+Generated on 2024-06-10 15:17:12 -0700 from [48a03f3](https://github.com/google/verible/commit/48a03f3cc2870081f767d11be64a390c03defd90)
diff --git a/verilog_syntax.md b/verilog_syntax.md
index e65be43f6..933e16569 100644
--- a/verilog_syntax.md
+++ b/verilog_syntax.md
@@ -51,4 +51,4 @@ path.
 
 ## Version
 
-Generated on 2024-06-09 15:43:36 -0700 from [f273154](https://github.com/google/verible/commit/f27315442892d00a0b6323ae7c877ed60f3e3e36)
+Generated on 2024-06-10 15:17:12 -0700 from [48a03f3](https://github.com/google/verible/commit/48a03f3cc2870081f767d11be64a390c03defd90)