From 1be8d1e6d8bf0993c69f9ebbf57f2da1cc2379c5 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 16 Jun 2020 08:54:39 +0200
Subject: [PATCH] doc: replace a symlinked file by a true file
---
lv6-ref-man/figs/patate.fig | 36 ++++++++++++++++++++++++++++++++-
lv6-ref-man/lv6-ref-man.tex | 2 +-
test/should_work/consensus2.lus | 1 -
3 files changed, 36 insertions(+), 3 deletions(-)
mode change 120000 => 100644 lv6-ref-man/figs/patate.fig
diff --git a/lv6-ref-man/figs/patate.fig b/lv6-ref-man/figs/patate.fig
deleted file mode 120000
index 6fbde71e..00000000
--- a/lv6-ref-man/figs/patate.fig
+++ /dev/null
@@ -1 +0,0 @@
-/home/jahier/slides/lv6/figs/patate.fig
\ No newline at end of file
diff --git a/lv6-ref-man/figs/patate.fig b/lv6-ref-man/figs/patate.fig
new file mode 100644
index 00000000..cc2ae8d6
--- /dev/null
+++ b/lv6-ref-man/figs/patate.fig
@@ -0,0 +1,35 @@
+#FIG 3.2 Produced by xfig version 3.2.5-alpha5
+Landscape
+Center
+Metric
+A4
+100.00
+Single
+-2
+1200 2
+1 3 0 1 0 7 50 -1 -1 0.000 1 0.0000 2674 1980 408 408 2674 1980 3082 1980
+1 2 0 1 18 7 70 -1 -1 0.000 1 0.0000 2460 2001 1278 992 1182 2001 3737 2001
+1 2 0 1 8 7 80 -1 -1 0.000 1 4.7124 2419 1976 477 666 1941 1976 2896 1976
+1 2 0 1 12 7 60 -1 -1 0.000 1 0.0000 3250 1973 1010 581 2240 1973 4260 1973
+1 4 0 1 9 7 60 -1 -1 0.000 1 0.0000 2635 2225 147 147 2488 2225 2783 2225
+2 1 0 1 0 7 110 -1 -1 0.000 0 0 -1 0 0 2
+ 3967 2258 4477 2527
+2 1 0 1 0 7 120 -1 -1 0.000 0 0 -1 0 0 2
+ 1892 3242 2140 2201
+2 1 0 1 0 7 90 -1 -1 0.000 0 0 -1 0 0 2
+ 2033 876 2062 1344
+2 1 0 1 0 7 100 -1 -1 0.000 0 0 -1 0 0 2
+ 4094 1167 3358 1755
+2 2 0 0 0 7 0 -1 -1 0.000 0 0 -1 0 0 5
+ 1113 501 6276 501 6276 3504 1113 3504 1113 501
+4 0 18 70 -1 0 17 0.0000 4 191 340 1431 2447 V6\001
+4 0 0 110 -1 0 17 0.0000 4 255 1615 4534 2654 homomorphic\001
+4 0 0 100 -1 0 17 0.0000 4 191 680 4137 1138 arrays\001
+4 0 0 120 -1 0 17 0.0000 4 255 1572 1601 3419 array iterators\001
+4 0 0 110 -1 0 17 0.0000 4 191 1126 4534 2994 extension\001
+4 0 8 80 -1 0 17 0.0000 4 191 297 1897 2086 lic\001
+4 0 0 90 -1 0 17 0.0000 4 255 4313 1148 756 struct, enums, packages, genericity, ...\001
+4 0 0 50 -1 0 17 0.0000 4 191 637 2376 1892 lustre\001
+4 0 0 50 -1 0 17 0.0000 4 127 489 2461 2058 core\001
+4 0 12 60 -1 0 17 0.0000 4 191 340 3788 2098 V4\001
+4 0 8 60 -1 0 17 0.0000 4 127 255 2522 2307 ec\001
diff --git a/lv6-ref-man/lv6-ref-man.tex b/lv6-ref-man/lv6-ref-man.tex
index b2f401ee..0a0bda73 100644
--- a/lv6-ref-man/lv6-ref-man.tex
+++ b/lv6-ref-man/lv6-ref-man.tex
@@ -1105,7 +1105,7 @@ size).
\section{Recursive nodes}
\label{recnode}
-Nodes can even be defined recursively using the ``with'' construct
+Nodes can even be defined recursively using the ``\texttt{with}'' construct.
\begin{example}[Recursive Node]
\input{consensus2.lus}
diff --git a/test/should_work/consensus2.lus b/test/should_work/consensus2.lus
index 579aeba6..8824dcb3 100644
--- a/test/should_work/consensus2.lus
+++ b/test/should_work/consensus2.lus
@@ -4,5 +4,4 @@ let
a = with (n = 1) then T[0]
else T[0] and consensus << n-1 >> (T[1 .. n-1]);
tel
-
node consensus2 = consensus<<8>>;
\ No newline at end of file
--
GitLab