[devdocsgjs/main: 1189/1867] django: add download script to file-scrapers.md

[Andy Holmes <andyholmes src gnome org>]

commit 2db89fea4d696e0835d51c705bf6677046617f49
Author: Simon Legner <Simon Legner gmail com>
Date:   Tue Nov 17 07:54:01 2020 +0100

    django: add download script to file-scrapers.md

 docs/file-scrapers.md | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)
---
diff --git a/docs/file-scrapers.md b/docs/file-scrapers.md
index 506e9a59..9c9fbe22 100644
--- a/docs/file-scrapers.md
+++ b/docs/file-scrapers.md
@@ -25,8 +25,11 @@ and put it in `/path/to/devdocs/docs/`
 Go to https://docs.djangoproject.com/, select the version from the
 bubble in the bottom-right corner, then download the HTML version from the sidebar.
 
-URL: `https://media.djangoproject.com/docs/django-docs-$VERSION-en.zip`
-
+```sh
+mkdir --parent docs/django\~$VERSION/; \
+curl https://media.djangoproject.com/docs/django-docs-$VERSION-en.zip | \
+bsdtar --extract --file - --directory=docs/django\~$VERSION/
+```
 
 ## Erlang