diff options
Diffstat (limited to 'textproc/galax/files/patch-tools::pxp-engine::Makefile')
| -rw-r--r-- | textproc/galax/files/patch-tools::pxp-engine::Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/textproc/galax/files/patch-tools::pxp-engine::Makefile b/textproc/galax/files/patch-tools::pxp-engine::Makefile deleted file mode 100644 index bec9274051cf..000000000000 --- a/textproc/galax/files/patch-tools::pxp-engine::Makefile +++ /dev/null @@ -1,11 +0,0 @@ ---- tools/pxp-engine/Makefile.orig Thu Jan 15 10:28:06 2004 -+++ tools/pxp-engine/Makefile Thu Jan 15 10:28:17 2004 -@@ -26,7 +26,7 @@ - #generate: pxp_yacc.ml pxp_lexing.ml - - pxp_lexing.ml: pxp_lexing.mlp -- ifdef -D LEXBUF_$(OCAMLVERSION) pxp_lexing.mlp -+ ./ifdef -D LEXBUF_$(OCAMLVERSION) pxp_lexing.mlp - - depend: - $(OCAMLDEP) *.ml *.mli >depend |