diff options
Diffstat (limited to 'x11-toolkits/open-motif/files/patch-man-Imakefile')
| -rw-r--r-- | x11-toolkits/open-motif/files/patch-man-Imakefile | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/x11-toolkits/open-motif/files/patch-man-Imakefile b/x11-toolkits/open-motif/files/patch-man-Imakefile new file mode 100644 index 000000000000..844391550f8e --- /dev/null +++ b/x11-toolkits/open-motif/files/patch-man-Imakefile @@ -0,0 +1,7 @@ +--- doc/man/Imakefile.dist Wed Jul 19 04:17:33 2000 ++++ doc/man/Imakefile Wed Jul 19 04:38:47 2000 +@@ -5,3 +5,3 @@ + +-SUBDIRS = man1 man3 man4 man5 ++SUBDIRS = man1 man3 man5 + |