[interpreter] Makefile tweak

rossberg · rossberg · commit 905f42d3e4d0 · 2023-06-14T19:14:41.000+02:00
diff --git a/document/core/util/bikeshed_fixup.py b/document/core/util/bikeshed_fixup.py
@@ -59,7 +59,7 @@ def Main():
   )
 
   data = data.replace(
-      """<a class="reference external" href="https://ieeexplore.ieee.org/document/8766229">IEEE 754-2019</a>""",
+      """<a class="reference external" href="https://ieeexplore.ieee.org/document/8766229">IEEE 754</a>""",
       "[[!IEEE-754-2019]]"
   )
 
diff --git a/interpreter/Makefile b/interpreter/Makefile
@@ -41,7 +41,7 @@ all:		unopt opt libunopt libopt test
 land:		$(WINMAKE) all
 zip: 		$(ZIP)
 smallint:	smallint.native
-ci:			land wast.js dunebuild
+ci:			land jslib dunebuild
 
 dunebuild:
 	dune build

Original file line number	Diff line number	Diff line change
`@@ -59,7 +59,7 @@ def Main():`
`59`	`59`	`)`
`60`	`60`
`61`	`61`	`data = data.replace(`
`62`		`- """<a class="reference external" href="https://ieeexplore.ieee.org/document/8766229">IEEE 754-2019</a>""",`
	`62`	`+ """<a class="reference external" href="https://ieeexplore.ieee.org/document/8766229">IEEE 754</a>""",`
`63`	`63`	`"[[!IEEE-754-2019]]"`
`64`	`64`	`)`
`65`	`65`