doc: add 'Software: Extras' page listing all third-party downloads

This commit is contained in:
nodiscc
2021-10-16 00:36:02 +02:00
parent 39a434acdd
commit fb2266cde0
4 changed files with 19 additions and 0 deletions

View File

@@ -1,4 +1,5 @@
#!/usr/bin/make
# please update doc/md/packages/extras.md after adding changes to this file
WGET=wget --continue --no-verbose --show-progress --directory-prefix=cache/downloads/
all: download_extra