diff options
Diffstat (limited to 'dev-util/melt/files/melt-makefile-nodocs.diff')
| -rw-r--r-- | dev-util/melt/files/melt-makefile-nodocs.diff | 25 |
1 files changed, 25 insertions, 0 deletions
diff --git a/dev-util/melt/files/melt-makefile-nodocs.diff b/dev-util/melt/files/melt-makefile-nodocs.diff new file mode 100644 index 0000000..35ccaf6 --- /dev/null +++ b/dev-util/melt/files/melt-makefile-nodocs.diff @@ -0,0 +1,25 @@ +Index: MELT-Plugin-Makefile +=================================================================== +--- MELT-Plugin-Makefile.orig ++++ MELT-Plugin-Makefile +@@ -227,7 +227,7 @@ melt_is_plugin=1 + GCCMELT_STAGE_ZERO = meltbuild-stage0-quicklybuilt + + +-all: melt-run.h melt.so melt-translator melt-applications melt-gendoc doc ++all: melt-run.h melt.so melt-translator melt-applications + @echo + @echo '+++++++++++++++++++' + @date +'*** MELT plugin "$(melt_version_string)" compilation completed at %c ***%n' +@@ -506,9 +506,9 @@ meltpluginapi.info: meltpluginapi.texi m + + + ################# installation +-install: all melt-gendoc \ ++install: all \ + install-melt-includes install-melt-sources install-melt-modules \ +- install-melt-mk install-melt-so install-melt-doc ++ install-melt-mk install-melt-so + + install-melt-includes: melt-runtime.h melt-predef.h melt-run.h melt-run-md5.h melt/generated/meltrunsup.h + @echo installing MELT include directory $(melt_header_dir) |