Blob Blame History Raw
--- sedlex-2.6/src/generator/data/dune.orig	2022-03-29 10:23:02.000000000 -0600
+++ sedlex-2.6/src/generator/data/dune	2022-03-30 09:10:19.151283029 -0600
@@ -1,29 +1,11 @@
 (rule
  (targets DerivedCoreProperties.txt)
- (deps base_url)
- (action
-  (run
-   curl
-   -L
-   -s
-   %{read:base_url}/ucd/DerivedCoreProperties.txt
-   -o
-   DerivedCoreProperties.txt)))
+ (action  (copy /usr/share/unicode/ucd/DerivedCoreProperties.txt DerivedCoreProperties.txt)))
 
 (rule
  (targets DerivedGeneralCategory.txt)
- (deps base_url)
- (action
-  (run
-   curl
-   -L
-   -s
-   %{read:base_url}/ucd/extracted/DerivedGeneralCategory.txt
-   -o
-   DerivedGeneralCategory.txt)))
+ (action  (copy /usr/share/unicode/ucd/extracted/DerivedGeneralCategory.txt DerivedGeneralCategory.txt)))
 
 (rule
  (targets PropList.txt)
- (deps base_url)
- (action
-  (run curl -L -s %{read:base_url}/ucd/PropList.txt -o PropList.txt)))
+ (action  (copy /usr/share/unicode/ucd/PropList.txt PropList.txt)))