From 3ac9d34c49ef722162d61d254a3c5053ac15719b Mon Sep 17 00:00:00 2001
From: Matthias Schiffer <mschiffer@universe-factory.net>
Date: Sat, 19 Nov 2016 17:34:19 +0100
Subject: [PATCH] docs: dev/basics: remove outdated docs about patch and
 unpatch commands

---
 docs/dev/basics.rst | 16 +---------------
 1 file changed, 1 insertion(+), 15 deletions(-)

diff --git a/docs/dev/basics.rst b/docs/dev/basics.rst
index 7e7d9f58f..acb66fa3b 100644
--- a/docs/dev/basics.rst
+++ b/docs/dev/basics.rst
@@ -34,21 +34,7 @@ rerun
 `patches`; the resulting branch will be called `patched`, while the commit specified in `modules`
 can be refered to by the branch `base`.
 
-::
-
-	make unpatch
-
-sets the repositories to the `base` branch,
-
-::
-
-	make patch
-
-re-applies the patches by resetting the `patched` branch to `base` and calling `git am`
-for the patch files. Calling `make` or a similar command after calling `make unpatch`
-is generally not a good idea.
-
-After new patches have been commited on top of the patched branch (or existing commits
+After new patches have been commited on top of the `patched` branch (or existing commits
 since the base commit have been edited or removed), the patch directories can be regenerated
 using
 
-- 
GitLab