diff options
| author | Stephane Glondu <steph@glondu.net> | 2019-07-16 09:54:22 +0200 |
|---|---|---|
| committer | Stephane Glondu <steph@glondu.net> | 2019-07-16 09:54:50 +0200 |
| commit | ab4a9b2d7f6693bd8db0a1f9ffa1444b523d08b9 (patch) | |
| tree | 2b8395b2421382918cf5a9ddfefb928ecf44eb2b | |
| parent | e75db6e2ef00cbdf29412e2354f13899a3c05af9 (diff) | |
Remove backup file
| -rw-r--r-- | debian/patches/0004-ocamldoc-dont-use-v-option~ | 13 |
1 files changed, 0 insertions, 13 deletions
diff --git a/debian/patches/0004-ocamldoc-dont-use-v-option~ b/debian/patches/0004-ocamldoc-dont-use-v-option~ deleted file mode 100644 index cc4226e..0000000 --- a/debian/patches/0004-ocamldoc-dont-use-v-option~ +++ /dev/null @@ -1,13 +0,0 @@ -Index: cairo-ocaml/src/Makefile -=================================================================== ---- cairo-ocaml.orig/src/Makefile 2017-06-23 09:50:32.007066588 +0200 -+++ cairo-ocaml/src/Makefile 2017-06-23 09:51:50.066917074 +0200 -@@ -114,7 +114,7 @@ - - doc: $(DOCFILES:%.mli=%.cmi) - mkdir -p ../doc/html -- ocamldoc -v -html -d ../doc/html -t Cairo-ocaml $(if $(LABLGTKDIR),-I $(LABLGTKDIR)) $(DOCFILES) -+ ocamldoc -html -d ../doc/html -t Cairo-ocaml $(if $(LABLGTKDIR),-I $(LABLGTKDIR)) $(DOCFILES) - - clean : - rm -f *.cm* *.o *.a *.so .depend |