This is the mail archive of the gcc-patches@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]
Other format: [Raw text]

Re: [wwwdocs] extensions.html - remove "rogue" MELT page




On 07/14/2018 10:17 PM, Gerald Pfeifer wrote:
I noticed that http://gcc-melt.org now redirects to
http://www.gcc-melt.org which looks like a default,
and empty, Wordpress installation.

I went ahead and applied the patch below.

Basile, should we generally remove this reference to GCC MELT?

Gerald

Index: extensions.html
===================================================================
RCS file: /cvs/gcc/wwwdocs/htdocs/extensions.html,v
retrieving revision 1.59
diff -u -r1.59 extensions.html
--- extensions.html	2 Jun 2018 21:16:09 -0000	1.59
+++ extensions.html	14 Jul 2018 20:14:45 -0000
@@ -21,7 +21,7 @@
  analysis, debugging, and performance tuning in concurrent code.</p>
-<h2><a href="http://gcc-melt.org";>GCC MELT</a></h2>
+<h2>GCC MELT</h2>
<p>MELT is a high-level <em>domain specific language</em> to ease the
    development of GCC extensions. It is available as a GCC experimental

Yes. I am no more working on MELT, but I did begin to work on its successor:

https://github.com/bstarynk/bismon

Cheers

--
Basile STARYNKEVITCH   == http://starynkevitch.net/Basile
opinions are mine only - les opinions sont seulement miennes
Bourg La Reine, France


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]