diff options
author | Stephane Glondu <steph@glondu.net> | 2020-01-31 13:57:28 +0100 |
---|---|---|
committer | Stéphane Glondu <glondu@debian.org> | 2024-02-18 11:40:42 +0100 |
commit | 5ea6d917ba230a3b8e628c8696fb85017388e5fa (patch) | |
tree | 5705fa1a077f883a3f837fbd13bf8269b278a297 | |
parent | e9beebfa4d4b777af1a45bf1e17d0e8a44cefb35 (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 | 7 | ||||
-rw-r--r-- | manual/atd-manual.mlx | 2 |
3 files changed, 6 insertions, 7 deletions
diff --git a/manual/Makefile b/manual/Makefile index 05b0f00..aec108b 100644 --- a/manual/Makefile +++ b/manual/Makefile @@ -11,10 +11,10 @@ pdf: atd-manual.pdf txt: atd-manual.txt html: atd-manual.html -atd-manual.tex: ../atd_version.ml atd-manual.mlx +atd-manual.tex: ../atd/src/version.ml atd-manual.mlx OCAMLPATH=../..:$$OCAMLPATH camlmix atd-manual.mlx -o atd-manual.tex -atd-body.tex: ../atd_version.ml macros.ml atd-body.mlx +atd-body.tex: ../atd/src/version.ml macros.ml atd-body.mlx OCAMLPATH=../..:$$OCAMLPATH camlmix atd-body.mlx -o atd-body.tex atd-manual.txt: $(addsuffix .tex, $(TEXFILES)) diff --git a/manual/atd-body.mlx b/manual/atd-body.mlx index 21d79a8..df5de31 100644 --- a/manual/atd-body.mlx +++ b/manual/atd-body.mlx @@ -4,10 +4,9 @@ #use "topfind";; #require "caml2html";; #require "easy-format";; -#directory "..";; -#load "atd.cma";; +#require "atd";; #require "unix";; -#use "../atd_version.ml";; +#use "../atd/src/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 "atdcat -help" ## \section{ATD language} diff --git a/manual/atd-manual.mlx b/manual/atd-manual.mlx index 335fcb9..87ac7b6 100644 --- a/manual/atd-manual.mlx +++ b/manual/atd-manual.mlx @@ -1,6 +1,6 @@ % -*- latex -*- ## -#use "../atd_version.ml";; +#use "../atd/src/version.ml";; ## \documentclass[letterpaper,10pt]{article} |