From 13aa08e59cdd2e2307eef4dedad77826f7fe5178 Mon Sep 17 00:00:00 2001 From: Stefan Verhoeven Date: Thu, 4 Jun 2020 16:29:17 +0200 Subject: [PATCH 1/5] Make `entangled tangle` generate OK code. --- CONTRIBUTING.md | 8 +++++--- INSTALL.md | 2 +- README.md | 4 ++-- entangled.dhall | 8 ++++++++ 4 files changed, 16 insertions(+), 6 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 4451466..6f66d53 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -113,10 +113,12 @@ Before you submit a pull request, check that it meets these guidelines: ## Generating code from Markdown -The [Entangled - Pandoc filters](https://github.com/entangled/filters) Docker image can be used to generate source code files from the Markdown files. +The [Entangled](https://github.com/entangled/entangled) Docker image can be used to generate source code files from the Markdown files. -```{.awk #pandoc-tangle} -docker run --rm --user ${UID} -v ${PWD}:/data nlesc/pandoc-tangle:0.5.0 --preserve-tabs *.md +```{.awk #entangled-tangle} +rm -r .entangled +docker run --rm --user ${UID} -v ${PWD}:/data nlesc/entangled insert -s *.md +docker run --rm --user ${UID} -v ${PWD}:/data nlesc/entangled tangle -a ``` ## Generate code from Markdown and vice versa diff --git a/INSTALL.md b/INSTALL.md index 8daf4a4..78a8910 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -25,7 +25,7 @@ ENTANGLED := $(shell perl -ne 'print $$1,"\n" if /^```\{.*file=(.*)\}/' *.md | g COMPILED := bin/newtonraphson.exe src/py/newtonraphsonpy.*.so apache2/cgi-bin/newtonraphson src/js/newtonraphsonwasm.js src/js/newtonraphsonwasm.wasm entangle: *.md - <> + <> $(ENTANGLED): entangle diff --git a/README.md b/README.md index 2dd52f1..a70efd5 100644 --- a/README.md +++ b/README.md @@ -977,7 +977,7 @@ The code supplied here should not be used in production as converting JSX in the The web application in our example should have a form with a `epsilon` and `guess` input field and a submit button. The form in JSX can be written in the following way: -```{.jsx #react-form} +```{.jsxinline #react-form} { /* this JavaScript snippet is later referred to as <> */ }