diff options
Diffstat (limited to 'x11-toolkits/gtkada3/files/patch-docs_Makefile')
| -rw-r--r-- | x11-toolkits/gtkada3/files/patch-docs_Makefile | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/x11-toolkits/gtkada3/files/patch-docs_Makefile b/x11-toolkits/gtkada3/files/patch-docs_Makefile deleted file mode 100644 index c5b3abe52705..000000000000 --- a/x11-toolkits/gtkada3/files/patch-docs_Makefile +++ /dev/null @@ -1,11 +0,0 @@ ---- docs/Makefile.orig 2016-05-12 07:43:49 UTC -+++ docs/Makefile -@@ -1,7 +1,6 @@ - - all:: -- ${MAKE} -C gtkada_rm -- ${MAKE} -C gtkada_ug html latexpdf -+ ${MAKE} -C gtkada_ug html - - clean:: - ${MAKE} -C gtkada_rm clean |