diff options
Diffstat (limited to 'x11-toolkits/gtkada/files/patch-docs_Makefile.in')
| -rw-r--r-- | x11-toolkits/gtkada/files/patch-docs_Makefile.in | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/x11-toolkits/gtkada/files/patch-docs_Makefile.in b/x11-toolkits/gtkada/files/patch-docs_Makefile.in deleted file mode 100644 index b42dcd82c793..000000000000 --- a/x11-toolkits/gtkada/files/patch-docs_Makefile.in +++ /dev/null @@ -1,18 +0,0 @@ ---- docs/Makefile.in.orig 2013-07-01 09:42:48.000000000 +0000 -+++ docs/Makefile.in -@@ -4,13 +4,12 @@ CP=cp -p - MKDIR=mkdir -p - - all:: -- ${MAKE} -C gtkada_rm -- ${MAKE} -C gtkada_ug html latexpdf -+ ${MAKE} -C gtkada_ug html - - install:: -- ${MAKE} -C gtkada_rm install - $(MKDIR) ${DESTDIR}$(docdir)/gtkada_ug/ - -$(CP) -r gtkada_ug/_build/html/* ${DESTDIR}$(docdir)/gtkada_ug/ -+ $(CP) -r gtkada_rm_pregen/gtkada_rm ${DESTDIR}$(docdir)/ - - clean:: - ${MAKE} -C gtkada_rm clean |