diff options
| author | Stephane Glondu <steph@glondu.net> | 2020-01-31 13:57:28 +0100 |
|---|---|---|
| committer | Stéphane Glondu <glondu@debian.org> | 2020-08-20 13:33:28 +0200 |
| commit | 6dbe04d2e94ba63713f786df292e83c7733d1f16 (patch) | |
| tree | 4e8d213502b210acad26d358994a318798904b53 | |
| parent | d8afb0794d11d10f2996d9f3ee244ad7b87ca909 (diff) | |
Fix compilation of manual
Gbp-Pq: Name 0002-Fix-compilation-of-manual.patch
| -rw-r--r-- | manual/Makefile | 4 | ||||
| -rw-r--r-- | manual/atd-body.mlx | 5 |
2 files changed, 4 insertions, 5 deletions
diff --git a/manual/Makefile b/manual/Makefile index 05b0f00..2285039 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -12,10 +12,10 @@ txt: atd-manual.txt html: atd-manual.html atd-manual.tex: ../atd_version.ml atd-manual.mlx - OCAMLPATH=../..:$$OCAMLPATH camlmix atd-manual.mlx -o atd-manual.tex + OCAMLPATH=../_tmp/usr/lib/ocaml:$$OCAMLPATH camlmix atd-manual.mlx -o atd-manual.tex atd-body.tex: ../atd_version.ml macros.ml atd-body.mlx - OCAMLPATH=../..:$$OCAMLPATH camlmix atd-body.mlx -o atd-body.tex + OCAMLPATH=../_tmp/usr/lib/ocaml:$$OCAMLPATH camlmix atd-body.mlx -o atd-body.tex atd-manual.txt: $(addsuffix .tex, $(TEXFILES)) rm -f *.aux diff --git a/manual/atd-body.mlx b/manual/atd-body.mlx index 21d79a8..dd34983 100644 --- a/manual/atd-body.mlx +++ b/manual/atd-body.mlx @@ -4,8 +4,7 @@ #use "topfind";; #require "caml2html";; #require "easy-format";; -#directory "..";; -#load "atd.cma";; +#require "atd";; #require "unix";; #use "../atd_version.ml";; #use "macros.ml";; @@ -260,7 +259,7 @@ The syntax of an ATD file can be checked with the program {\tt atdcat} pretty-prints its input data, optionally after some transformations such as monomorphization or inheritance. Here is the output of {\tt atdcat -help}: -## shell "PATH=.. atdcat -help" ## +## shell "PATH=../_tmp/usr/bin atdcat -help" ## \section{ATD language} |