1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
|
From: Stephane Glondu <glondu@debian.org>
Date: Wed, 26 Feb 2025 08:32:47 +0100
Subject: Fix Debian build
Forwarded: not-needed
---
Makefile.preprocess | 2 +-
doc/Makefile | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/Makefile.preprocess b/Makefile.preprocess
index 655c7aa..cace1e7 100644
--- a/Makefile.preprocess
+++ b/Makefile.preprocess
@@ -7,7 +7,7 @@
# The rewriting command.
PPX := `ocamlfind query ppx_deriving`/ppx_deriving \
`ocamlfind query visitors`/ppx/ppx_deriving_visitors.cma
-REWRITE := ocamlfind ppx_tools/rewriter -ppx '$(PPX)'
+REWRITE := cat
# Use GNU sed to extract the generated code.
# This requires GNU sed 3.95 or above, I am told.
diff --git a/doc/Makefile b/doc/Makefile
index 975d5cc..1953aa7 100644
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -10,7 +10,7 @@ PROCESSED := $(patsubst %.ml,%.processed.ml,$(ML))
.PHONY: all loop clean prerequisites sources
-all: prerequisites
+all:
make sources
latexmk -g -pdf manual
|
