check_devices_in_wiki.py: update instructions

Explain that one needs to set "booting = yes" in the infobox, instead
of manually adding the device to the overview nowadays.
This commit is contained in:
Oliver Smith 2018-12-17 08:20:51 +01:00
parent c83052c9f3
commit ea3dc3d5a5
No known key found for this signature in database
GPG Key ID: 5AE7F5513E0885CB

View File

@ -92,8 +92,7 @@ def main():
print("Now it's time to add some documentation:")
print("1) Create a device specific wiki page as described here:")
print(" <https://wiki.postmarketos.org/wiki/Help:Device_Page>")
print("2) Add your device to the overview matrix:")
print(" <https://wiki.postmarketos.org/wiki/Devices>")
print("2) Set 'booting = yes' in the infobox of your device page.")
print("3) Run these tests again with an empty commit in your MR:")
print(" $ git commit --allow-empty -m 'run tests again'")
print("")