hwdb: rename .html=>.csv
authorZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 15 Nov 2023 14:21:26 +0000 (15:21 +0100)
committerZbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl>
Wed, 15 Nov 2023 14:21:26 +0000 (15:21 +0100)
commit94113d5f19e5768c206176684e63525f679988d3
tree927e6cdf48ff119b21b0cbd161298842ca4fd765
parent3e0cf732435faba34aa16f315d8a47e924734589
hwdb: rename .html=>.csv

The old suffix is now confusing.
hwdb.d/acpi-update.py
hwdb.d/acpi_id_registry.csv [moved from hwdb.d/acpi_id_registry.html with 100% similarity]
hwdb.d/pnp_id_registry.csv [moved from hwdb.d/pnp_id_registry.html with 100% similarity]
tools/update-hwdb.sh