From 532f7b180e8953f859f12be5326bfd4f16370345 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sun, 29 Nov 2020 22:11:03 +0100
Subject: [PATCH] networks.scrbl: Add an explicit tag to Basic definitions.

Otherwise there is a conflict with a section with the same name in
rs.scrbl.
---
 scribblings/networks.scrbl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scribblings/networks.scrbl b/scribblings/networks.scrbl
index c25ab53..3fbbdc0 100644
--- a/scribblings/networks.scrbl
+++ b/scribblings/networks.scrbl
@@ -10,7 +10,7 @@ is a set of variables which are updated according to their corresponding update
 functions.  The variables to be updated at each step are given by the mode.
 This model can generalise Boolean networks, TBANs, multivalued networks, etc.
 
-@section{Basic definitions}
+@section[#:tag "networks-basics"]{Basic definitions}
 
 @section{Syntactic description of networks}