Commit 21497158 authored by Andrei Paskevich's avatar Andrei Paskevich

trywhy3: update try-python.patch

parent 2978e9b8
diff --git a/Makefile.in b/Makefile.in
index 6f980b1cf..c55207be1 100644
index e2b417f65..d381e8174 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -1503,7 +1503,7 @@ ALTERGOMODS=util/config util/version util/emap util/myUnix util/myDynlink \
@@ -1513,7 +1513,7 @@ ALTERGOMODS=util/config util/version util/emap util/myUnix util/myDynlink \
main/frontend
ALTERGOCMO=$(addprefix $(ALTERGODIR)/src/, $(addsuffix .cmo,$(ALTERGOMODS)))
......@@ -11,7 +11,7 @@ index 6f980b1cf..c55207be1 100644
TRYWHY3FILES=trywhy3.js trywhy3.html trywhy3.css \
README examples/ \
trywhy3_custom.css gen_index.sh fontawesome/css/font-awesome.min.css \
@@ -1511,6 +1511,7 @@ TRYWHY3FILES=trywhy3.js trywhy3.html trywhy3.css \
@@ -1521,6 +1521,7 @@ TRYWHY3FILES=trywhy3.js trywhy3.html trywhy3.css \
fontawesome/fonts/fontawesome-webfont.woff fontawesome/fonts/fontawesome-webfont.eot \
fontawesome/fonts/fontawesome-webfont.ttf fontawesome/fonts/fontawesome-webfont.woff2 \
ace-builds/src-min-noconflict/ace.js ace-builds/src-min-noconflict/mode-why3.js \
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment