From 71ead0c6fa398cb6eeacd24efcfca80a18c6b674 Mon Sep 17 00:00:00 2001 From: Denis Merigoux Date: Mon, 19 Jun 2023 12:01:06 +0200 Subject: [PATCH] Remove all mentions --- Makefile | 7 +------ examples/README.md | 15 +++++++-------- 2 files changed, 8 insertions(+), 14 deletions(-) diff --git a/Makefile b/Makefile index 14e9a307..8e0d2592 100644 --- a/Makefile +++ b/Makefile @@ -177,7 +177,6 @@ syntax: EXAMPLES_DIR=examples ALLOCATIONS_FAMILIALES_DIR=$(EXAMPLES_DIR)/allocations_familiales AIDES_LOGEMENT_DIR=$(EXAMPLES_DIR)/aides_logement -CODE_GENERAL_IMPOTS_DIR=$(EXAMPLES_DIR)/code_general_impots US_TAX_CODE_DIR=$(EXAMPLES_DIR)/us_tax_code TUTORIAL_EN_DIR=$(EXAMPLES_DIR)/tutorial_en TUTORIEL_FR_DIR=$(EXAMPLES_DIR)/tutoriel_fr @@ -191,10 +190,6 @@ literate_allocations_familiales: build $(MAKE) -C $(ALLOCATIONS_FAMILIALES_DIR) allocations_familiales.tex $(MAKE) -C $(ALLOCATIONS_FAMILIALES_DIR) allocations_familiales.html -literate_code_general_impots: build - $(MAKE) -C $(CODE_GENERAL_IMPOTS_DIR) code_general_impots.tex - $(MAKE) -C $(CODE_GENERAL_IMPOTS_DIR) code_general_impots.html - literate_us_tax_code: build $(MAKE) -C $(US_TAX_CODE_DIR) us_tax_code.tex $(MAKE) -C $(US_TAX_CODE_DIR) us_tax_code.html @@ -212,7 +207,7 @@ literate_polish_taxes: build $(MAKE) -C $(POLISH_TAXES_DIR) polish_taxes.html #> literate_examples : Builds the .tex and .html versions of the examples code. Needs pygments to be installed and patched with Catala. -literate_examples: literate_allocations_familiales literate_code_general_impots \ +literate_examples: literate_allocations_familiales \ literate_us_tax_code literate_tutorial_en literate_tutoriel_fr \ literate_polish_taxes literate_aides_logement diff --git a/examples/README.md b/examples/README.md index e4599edc..1e69c10f 100644 --- a/examples/README.md +++ b/examples/README.md @@ -14,8 +14,6 @@ of the Catala programming language development. - `aides_logement`: computation of the French housing benefits, based on the _Code de la construction et de l'habitation_. This case study is the biggest and most ambitious for Catala so far. -- `code_general_impots/`: computation of the French income tax, based on the - _Code général des impôts_. Currently, there are only stubs of program. - `tutorial_/`: Catala language tutorial for developers of tech-savvy lawyers. The tutorial is written like a piece of legislation that gets annotated by Catala snippets. @@ -46,13 +44,14 @@ file `examples/foo/foo.catala_en`) list. When invoking any of these targets, additional options to the Catala compiler can be passed using the `CATALA_OPTS` Makefile variable. - Important +Important - : Before trying to generates LaTex or PDF files: - 1. don't forget to run `make pygments`, - 2. and you need to have the font - [Marianne](https://gouvfr.atlassian.net/wiki/spaces/DB/pages/223019527/Typographie+-+Typography) - installed in your machine. +: Before trying to generates LaTex or PDF files: + +1. don't forget to run `make pygments`, +2. and you need to have the font + [Marianne](https://gouvfr.atlassian.net/wiki/spaces/DB/pages/223019527/Typographie+-+Typography) + installed in your machine. > Note: the OCaml, Javascript and Python artifacts that are generated here and > used in ../french_law are generated using `dune` rules instead. See the