From 984917a62e512d9c96b5a9d37816d7d011d0cf75 Mon Sep 17 00:00:00 2001 From: Matthias Andree Date: Sun, 21 Jun 2020 13:13:47 +0200 Subject: Document names of branches. --- README.git | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'README.git') diff --git a/README.git b/README.git index 2ffb6799..7f69dde8 100644 --- a/README.git +++ b/README.git @@ -1,6 +1,8 @@ In order to be able to build from the git repository (working directory), some files need to be (re-)generated. +The names of the branches are listed in the FAQ, section G2. + Note that these generated files will be shipped with "make dist", so the end user will not need these packages. @@ -28,4 +30,4 @@ $ make (become root) # make install-strip --- Matthias Andree, 2020-03-30 +-- Matthias Andree, 2020-06-21 -- cgit v1.2.3