diff options
| author | Simon Glass <[email protected]> | 2026-03-18 07:23:57 -0600 |
|---|---|---|
| committer | Heinrich Schuchardt <[email protected]> | 2026-04-17 07:26:31 +0200 |
| commit | 090a7eb9cf36aec08fbe131f0c475ccaa55a8241 (patch) | |
| tree | 9efed4996aa48257d429eefde0eb35b6370b8b8f /doc/develop | |
| parent | 1ab7f4e2ed5ebee17f5e31d3b39536ae00008f8f (diff) | |
binman: Remove pre-generated entries.rst and bintools.rst
These files are now auto-generated by the binman_docs Sphinx extension
during the doc build, so the committed copies and their symlinks in
doc/develop/package/ are no longer needed.
Update binman.rst to reference the Sphinx extension instead of the
manual generation commands.
Signed-off-by: Simon Glass <[email protected]>
Rebased to apply file deletions cleanly.
Signed-off-by: Heinrich Schuchardt <[email protected]>
Diffstat (limited to 'doc/develop')
| l--------- | doc/develop/package/bintools.rst | 1 | ||||
| l--------- | doc/develop/package/entries.rst | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/doc/develop/package/bintools.rst b/doc/develop/package/bintools.rst deleted file mode 120000 index 7ef3d75e935..00000000000 --- a/doc/develop/package/bintools.rst +++ /dev/null @@ -1 +0,0 @@ -../../../tools/binman/bintools.rst
\ No newline at end of file diff --git a/doc/develop/package/entries.rst b/doc/develop/package/entries.rst deleted file mode 120000 index ecedcebaad4..00000000000 --- a/doc/develop/package/entries.rst +++ /dev/null @@ -1 +0,0 @@ -../../../tools/binman/entries.rst
\ No newline at end of file |