diff options
Diffstat (limited to 'testing/ocaml-sedlex/dont-build-doc.patch')
| -rw-r--r-- | testing/ocaml-sedlex/dont-build-doc.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/testing/ocaml-sedlex/dont-build-doc.patch b/testing/ocaml-sedlex/dont-build-doc.patch new file mode 100644 index 0000000000..6ee1f00677 --- /dev/null +++ b/testing/ocaml-sedlex/dont-build-doc.patch @@ -0,0 +1,11 @@ +--- a/Makefile ++++ b/Makefile +@@ -10,7 +10,7 @@ + .PHONY: all opt clean test install package + + all: +- (cd src/lib && $(MAKE) all doc) ++ (cd src/lib && $(MAKE) all) + (cd src/syntax && $(MAKE) all) + + opt: |