diff options
author | Jakub Jirutka <jakub@jirutka.cz> | 2018-07-07 20:02:16 +0200 |
---|---|---|
committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-07-07 19:54:35 +0200 |
commit | b32f93271626ebd7c98407057024935c166cb614 (patch) | |
tree | c8a0e635d25eb7d5de4048cc695313c2f2db4eb3 /testing/ocaml-sedlex/dont-build-doc.patch | |
parent | 62ea0e29b5f7e22fc685df1748ca8fa2802dcd1f (diff) | |
download | aports-b32f93271626ebd7c98407057024935c166cb614.tar.bz2 aports-b32f93271626ebd7c98407057024935c166cb614.tar.xz |
testing/ocaml-sedlex: new aport
https://github.com/alainfrisch/sedlex
An OCaml lexer generator for Unicode
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: |