1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
Description: replace time$() with static time string for manual
To build reproducibly time$() is replaced with a static time string.
This is not needed when then manual is built with faketime
Author: Christian T. Steigies <cts@debian.org>
Last-Update: 2016-03-28
Index: gle-graphics/gle-refman/primitives/fig/gc_write.gle
===================================================================
--- gle-graphics.orig/gle-refman/primitives/fig/gc_write.gle
+++ gle-graphics/gle-refman/primitives/fig/gc_write.gle
@@ -44,7 +44,7 @@ begin origin
amove 3 .5
a$ = "Hello there "
xx = sqrt(10)
- t$ = time$()
+ t$ = "12:34:56"
c$ = a$+t$
write a$+t$ xx
end origin
|
