Ajout des fichiers textes ainsi que d'une commande pour les transformer en ascii

This commit is contained in:
2020-11-12 18:27:18 +01:00
parent ebb605a753
commit 99cf06986a
5 changed files with 794222 additions and 1 deletions
+5 -1
View File
@@ -1,4 +1,8 @@
%.ascii.txt: %.txt
iconv -f utf-8 -t ascii//TRANSLIT $< -o $@
ascii: $(shell find textes/ -type f -iname "*.txt" ! -iname "*.ascii.txt" | sed "s/\.txt/\.ascii\.txt/")
%.cmx: %.ml
ocamlopt -c $<
@@ -7,4 +11,4 @@ tipe: tipe.cmx
ocamlopt -o tipe str.cmxa tipe.cmx
clean:
rm tipe *.cmx *.cmi *.o
rm -rf tipe *.cmx *.cmi *.o textes/*.ascii.txt