Zrušen `make/all`

Nic moc nedělal, tak jsem ho nahradil (IMHO lepší) dokumentací.

Makefile

@@ -4,7 +4,6 @@
 	make/$*
 
 all:
-	@# Nevím, proč to nefunguje bez těla, ale vlastně je mi to jedno…
-	make/all
+	@cat make/README.md
 
 .PHONY: all

make/README.md

@@ -0,0 +1,34 @@
+Milý člověče, M&Mí web tě vítá. Prosím, neděs se, zkusím tě provést lokálním zprovozněním webu.
+
+Předně: většina příkazů bude asi vypisovat spoustu detailů, takže ti doporučuji
+si tento text otevřít někde separátně. Nachází se v repozitáři v
+`make/README.md`, případně si jej můžeš zobrazit hezčeji vykreslený na
+[Gitee](https://gitea.ks.matfyz.cz/mam/mamweb/src/branch/master/make/README.md).
+
+O zprovoznění webu se stará hlavně skript `make/install_web`. Ten vytvoří
+virtualenv (neexistuje-li) a nainstaluje do něj závislosti webu. Pak ovšem
+budeš potřebovat nahrát další data do databáze, což uděláš pomocí příkazů
+`./manage.py testdata` a `./manage.py loaddata data/*`. Skript
+`make/install_web` ti to kdyžtak připomene.
+
+Samotný web spustíš třeba pomocí `make/run`, nebo ekvivalentně `./manage.py runserver`.
+
+Pozor: zatímco skripty v `make/` to nepotřebují, pro použití skriptu
+`./manage.py` se potřebuješ přepnout do virtuálního prostředí. To uděláš velmi
+pravděpodobně spuštěním `source env/bin/activate`, před začátkem _promptu_ by
+se mělo objevit `(env)`. Pro opuštění spusť `deactivate`.
+
+Časté problémy
+-----
+Je možné, že nemáš všechny potřebné závislosti v systému. Proto je možné, že
+`make/install_web` vyhodí nějakou chybovou hlášku:
+
+- `Error: pg_config executable not found.`:  nainstaluj si `libpq-dev` (na Ubuntu/Debianu, jinde se příslušný balíček může jmenovat jinak)
+- Chybová hláška obsahuje `#include <Python.h>`: nainstaluj si `python3-dev`
+
+
+<!--
+FIXME: Protože tento soubor vypisujeme, tak nemůžeme zobrazit aktuální cestu
+venvu, takže tu kvůli tomu jsou hardcodované cesty. Asi by se mohl nějak
+generovat ze šablony, která má přístup k make/lib.sh, ale zatím to není implementované.
+-->

make/all

@@ -1,17 +0,0 @@
-#!/bin/bash
-
-set -euo pipefail
-. make/lib.sh
-
-echo "Install je trochu magický:
- Spusť následující posloupnost příkazů:
-	make install_venv
-	. ${VENV_PATH}/bin/activate
-	make install_web
-
- Pokud install_web říká Error: pg_config executable not found. nainstaluj si libpq-dev
- Pokud chybová hláška obsahuje #include <Python.h>, nainstaluj si python3-dev
-
- Až skončíš s vývojem webu, spusť 'deactivate'. Tím zmizí '(${VENV_PATH})' ze začátku promptu."
-
-