diff options
Diffstat (limited to 'highlight/make.patch')
-rw-r--r-- | highlight/make.patch | 17 |
1 files changed, 0 insertions, 17 deletions
diff --git a/highlight/make.patch b/highlight/make.patch deleted file mode 100644 index 845ef4e..0000000 --- a/highlight/make.patch +++ /dev/null @@ -1,17 +0,0 @@ ---- src/highlight-3.1-beta/makefile 2010-06-03 18:08:17.000000000 +0200 -+++ makefile 2010-06-22 22:12:42.000000000 +0200 -@@ -66,10 +66,10 @@ - ${MKDIR} ${DESTDIR}${doc_dir} - ${MKDIR} ${DESTDIR}${conf_dir} - ${MKDIR} ${DESTDIR}${examples_dir} \ -- ${DESTDIR}${examples_dir}web_plugins \ -- ${DESTDIR}${examples_dir}web_plugins/dokuwiki \ -- ${DESTDIR}${examples_dir}web_plugins/movabletype \ -- ${DESTDIR}${examples_dir}web_plugins/wordpress \ -+ ${DESTDIR}${examples_dir}plugins \ -+ ${DESTDIR}${examples_dir}plugins/dokuwiki \ -+ ${DESTDIR}${examples_dir}plugins/movabletype \ -+ ${DESTDIR}${examples_dir}plugins/wordpress \ - ${DESTDIR}${examples_dir}swig - ${MKDIR} ${DESTDIR}${data_dir} \ - ${DESTDIR}${data_dir}themes \ |