[roll] Roll fuchsia [superproject] Roll third_party/pigweed docs: Normalize SEED filenames

Currently SEED filenames start with the SEED number but then
include arbitrary text, e.g. 0002-template.rst. Automation of
the SEED index will be easier if we normalize the filenames
to only include the number, e.g. 0002.rst. SEED URLs will also
be more predictable, e.g. pigweed.dev/seed/0002.html. This is
prereq work for the migration of the docgen system to Bazel;
it will be hard to migrate the SEED index auto-generation to
Bazel if we don't make this change.

Original-Bug: 318892911
Original-Reviewed-on: https://pigweed-review.googlesource.com/c/pigweed/pigweed/+/248452
Presubmit-Verified: CQ Bot Account <pigweed-scoped@luci-project-accounts.iam.gserviceaccount.com>
Original-Revision: f4e18d1488c9d462a0d0da3342763a8864cb5200
GitOrigin-RevId: 1747bc927e2608faa624468b41882bca86e0fa5f
Original-Reviewed-on: https://fuchsia-review.googlesource.com/c/fuchsia/+/1161571
Original-Revision: 35eba8620ec3f351ced4dd80f3cdbac985d4fe69
Change-Id: I7e0fb6d8bf67d7a34ce4c23baaf27378b108fdfd
1 file changed
tree: 8d229879ed64e82ceaecf1b4ecd94ccd64e16787
  1. ctf/
  2. git-hooks/
  3. infra/
  4. third_party/
  5. cts
  6. firmware
  7. flower
  8. jiri.lock
  9. MILESTONE
  10. minimal
  11. prebuilts
  12. README.md
  13. stem
  14. test_durations
  15. toolchain
README.md

Integration

This repository contains Fuchsia's Global Integration manifest files.

Making changes

All changes should be made to the internal version of this repository. Our infrastructure automatically updates this version when the internal one changes.

Currently all changes must be made by a Google employee. Non-Google employees wishing to make a change can ask for assistance in one of the communication channels documented at get involved.

Obtaining the source

First install Jiri.

Next run:

$ jiri init
$ jiri import minimal https://fuchsia.googlesource.com/integration
$ jiri update

Third party

Third party projects should have their own subdirectory in ./third_party.