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