diff options
Diffstat (limited to 'app-editors/nedit/files/nedit-5.7-doc.patch')
| -rw-r--r-- | app-editors/nedit/files/nedit-5.7-doc.patch | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/app-editors/nedit/files/nedit-5.7-doc.patch b/app-editors/nedit/files/nedit-5.7-doc.patch new file mode 100644 index 000000000000..fceb9e1773c8 --- /dev/null +++ b/app-editors/nedit/files/nedit-5.7-doc.patch @@ -0,0 +1,13 @@ +--- a/doc/Makefile 2019-05-03 13:18:33.343246393 +0200 ++++ b/doc/Makefile 2019-05-03 13:19:33.110902639 +0200 +@@ -48,8 +48,8 @@ + ../source/help_topic.h ../source/help_data.h: .version help.etx setext + @ echo "Creating NEdit help code `cat .version`" + @ ./setext -m -v version="`cat .version`" help.etx +- @ mv -f help_topic.h ../source +- @ mv -f help_data.h ../source ++ @ cp -f help_topic.h ../source ++ @ cp -f help_data.h ../source + + nedit.html: .version help.etx setext + @ echo "Creating NEdit HTML documentation..." |