diff options
| author | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-04-15 12:21:37 +0000 |
|---|---|---|
| committer | bstarynk <bstarynk@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-04-15 12:21:37 +0000 |
| commit | 0e7deac1b59dca302fc958d87698625802dd185f (patch) | |
| tree | 1a1133120012fa492b08553a2cc112eda0e96a73 /contrib | |
| parent | 42a70d8fff905f47a192ea807263669f1de4f77e (diff) | |
| download | gcc-0e7deac1b59dca302fc958d87698625802dd185f.tar.gz | |
2011-04-15 Basile Starynkevitch <basile@starynkevitch.net>
* build-melt-plugin.sh (make_melt_documentation): New function.
Use it.
* meltpluginapi.texi: Better phrasing about documentation
generation.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/melt-branch@172489 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/ChangeLog.MELT | 6 | ||||
| -rw-r--r-- | contrib/build-melt-plugin.sh | 15 | ||||
| -rw-r--r-- | contrib/meltpluginapi.texi | 4 |
3 files changed, 23 insertions, 2 deletions
diff --git a/contrib/ChangeLog.MELT b/contrib/ChangeLog.MELT index 8c439d39cca..af1a331d80d 100644 --- a/contrib/ChangeLog.MELT +++ b/contrib/ChangeLog.MELT @@ -1,5 +1,11 @@ 2011-04-15 Basile Starynkevitch <basile@starynkevitch.net> + * build-melt-plugin.sh (make_melt_documentation): New function. + Use it. + * meltpluginapi.texi: Better phrasing about documentation + generation. + +2011-04-15 Basile Starynkevitch <basile@starynkevitch.net> * meltplugin.texi: New file to wrap the melt.texi chapter when making MELT as a plugin. * meltpluginapi.texi: New file to wrap the generated diff --git a/contrib/build-melt-plugin.sh b/contrib/build-melt-plugin.sh index 9e254a34f06..797f02011a3 100644 --- a/contrib/build-melt-plugin.sh +++ b/contrib/build-melt-plugin.sh @@ -367,6 +367,7 @@ bootstrap_melt() { else error_echo Failure in MELT defaut modules fi + ### generate the documentation from source code verbose_echo Generating MELT documentation in texinfo format if do_melt_make meltgendoc.texi; then verbose_echo Did generate MELT documentation @@ -375,6 +376,17 @@ bootstrap_melt() { fi } +make_melt_documentation () { + ### make the info files + verbose_echo Making the MELT documentation info files + makeinfo meltplugin.texi + makeinfo meltpluginapi.texi + ## make the HTML files + verbose_echo Making the MELT documentation HTML files + texi2html meltplugin.texi + texi2html meltpluginapi.texi +} + ################ after build, the installation procedure install_melt() { verbose_echo Before installing MELT inside $gcc_plugin_directory @@ -399,7 +411,7 @@ install_melt() { $HOSTADMINCMD $HOSTINSTALL -m 644 melt-sources/* melt-default-modules.modlis $DESTDIR$gcc_plugin_directory/melt-source/ verbose_echo Installing the MELT module directory $HOSTADMINCMD $HOSTINSTALL -m 755 -d $DESTDIR$gcc_plugin_directory/libexec/melt-modules - verbose_echo Filling the MELT module directory + verbose_echo Filling the installed MELT module directory $HOSTADMINCMD $HOSTINSTALL -m 755 melt-modules/* $DESTDIR$gcc_plugin_directory/libexec/melt-modules/ } @@ -417,6 +429,7 @@ get_gty_melt_header build_melt_run_headers build_melt_dot_so bootstrap_melt +make_melt_documentation install_melt verbose_echo MELT plugin building terminated diff --git a/contrib/meltpluginapi.texi b/contrib/meltpluginapi.texi index 65da2667d98..6747590c428 100644 --- a/contrib/meltpluginapi.texi +++ b/contrib/meltpluginapi.texi @@ -45,7 +45,9 @@ This document is generated from MELT source code so is under GPLv3+ This file documents the MELT plugin API. MELT is a plugin for GCC. This document is mostly generated from MELT source code (GPLv3+) -so is unde the GPLv3+ license. +so is under the same GPLv3+ license as the source code from which (and +with which) it has been generated. This document was mostly generated +by the MELT plugin run in a specific @code{makedoc} mode. @sp 1 @insertcopying |