From 2db89fea4d696e0835d51c705bf6677046617f49 Mon Sep 17 00:00:00 2001
From: Simon Legner <Simon.Legner@gmail.com>
Date: Tue, 17 Nov 2020 07:54:01 +0100
Subject: [PATCH] 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