# Updating the website

**URL:** <https://discourse.ats-lang.org/t/updating-the-website/550>\
**Category:** Google Group\
**Created:** [December 29, 2013, 2:02am UTC](https://discourse.ats-lang.org/t/updating-the-website/550 "2013-12-29T02:02:45Z")\
**Posts on this page:** 8\
**Page:** 1

<div class="post-metadata">

**Author:** ![Ian\_Denhardt](https://avatars.discourse-cdn.com/v4/letter/i/7feea3/32.png) [@Ian\_Denhardt](https://discourse.ats-lang.org/u/Ian_Denhardt)\
**Post date:** [December 29, 2013, 2:02am UTC](https://discourse.ats-lang.org/t/updating-the-website/550/1 "2013-12-29T02:02:45Z")

</div>

Hey all,

The ATS website is undermaintained. It’s generally confusing to  
navigate, and some parts of it point to out of date resources or  
information.

I feel like we should do something to make it easier for the community  
to help out with this, and issues like it. How would it be if I threw up  
a git repo somewhere, with something initially resembling the current  
website, and invited people to work on it? Would people get involved?  
Hongwei, would you be open to pulling website changes from the rest of  
us?

Also - the current website mentiones at the bottom that it’s made with  
ATS. I assume this includes at least the syntax hilighting. Are those  
tools available somewhere?

-Ian

---

<div class="post-metadata">

**Author:** ![Ian\_Denhardt](https://avatars.discourse-cdn.com/v4/letter/i/7feea3/32.png) [@Ian\_Denhardt](https://discourse.ats-lang.org/u/Ian_Denhardt)\
**Post date:** [December 29, 2013, 9:50pm UTC](https://discourse.ats-lang.org/t/updating-the-website/550/2 "2013-12-29T21:50:25Z")

</div>

Here’s the source to the two pages I’ve added thus far:

[https://raw.github.com/zenhack/ats-website/master/index.md](https://raw.github.com/zenhack/ats-website/master/index.md)  
[https://raw.github.com/zenhack/ats-website/master/community/index.md](https://raw.github.com/zenhack/ats-website/master/community/index.md)

The format is github flavored markdown, which is described here:

[https://help.github.com/articles/github-flavored-markdown](https://help.github.com/articles/github-flavored-markdown)

The bit at the top, which looks like:

layout: default

Sets jekyll specific options. `layout: default` tells jekyll to use this  
template when generating the page:

> <https://github.com/zenhack/ats-website/blob/master/_layouts/default.html>

Jekyll itself has a good amount of documentation, which is available  
here:

> **[Quickstart](https://jekyllrb.com/docs/home/)**
>
> Jekyll is a static site generator. You give it text written in your favorite markup language and it uses layouts to create a static website. You can tweak how you want the site URLs to look, what data gets displayed on the site, and more.

-Ian

Quoting gmhwxi (2013-12-29 16:14:32)

---

<div class="post-metadata">

**Author:** ![Ian\_Denhardt](https://avatars.discourse-cdn.com/v4/letter/i/7feea3/32.png) [@Ian\_Denhardt](https://discourse.ats-lang.org/u/Ian_Denhardt)\
**Post date:** [December 29, 2013, 8:21pm UTC](https://discourse.ats-lang.org/t/updating-the-website/550/3 "2013-12-29T20:21:10Z")

</div>

> **[zenhack/ats-website](https://github.com/zenhack/ats-website)**
>
> Refactoring ats-lang.org. Contribute to zenhack/ats-website development by creating an account on GitHub.

Not much there yet. Copying over content is my first prority, but I’d  
also like to clean things up as we go. Contributions more than welcome.

Questions:

- The existing website still references the sourceforge mailing list.  
Should we really have both that and the google group? I had a look,  
and it appears that Hongwei has been posting announcements to both  
lists. I think it’s not such a great idea to fragment the community  
this way. There isn’t a clear distinction in the usage of these  
mailing lists; we should all just be using the same one.
- Hongwei, are there any scripts/source files you used in generating the  
current website? Anything we can repurpose to make moving things over  
faster would be appreciated.

Quoting Ian Denhardt (2013-12-29 00:01:58)

---

<div class="post-metadata">

**Author:** ![Ian\_Denhardt](https://avatars.discourse-cdn.com/v4/letter/i/7feea3/32.png) [@Ian\_Denhardt](https://discourse.ats-lang.org/u/Ian_Denhardt)\
**Post date:** [December 29, 2013, 5:01am UTC](https://discourse.ats-lang.org/t/updating-the-website/550/4 "2013-12-29T05:01:58Z")

</div>

Will do. I’ll post back here when I’ve got something to show.

-Ian

Quoting gmhwxi (2013-12-28 22:42:32)

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 29, 2013, 8:40pm UTC](https://discourse.ats-lang.org/t/updating-the-website/550/5 "2013-12-29T20:40:27Z")

</div>

I agree that we should avoid using two mailing-lists.

I think we should just use the goolge-group ats-lang-users for discussion.

Occasionally, I may send a message to the sourceforge mailing-list to  
announce something relatively significant (e.g., release of a new version  
of ATS2).On Sunday, December 29, 2013 3:21:10 PM UTC-5, Ian Denhardt wrote:

> [GitHub - zenhack/ats-website: Refactoring ats-lang.org](https://github.com/zenhack/ats-website)
> 
> Not much there yet. Copying over content is my first prority, but I’d  
> also like to clean things up as we go. Contributions more than welcome.
> 
> Questions:
> 
> - The existing website still references the sourceforge mailing list.  
> Should we really have both that and the google group? I had a look,  
> and it appears that Hongwei has been posting announcements to both  
> lists. I think it’s not such a great idea to fragment the community  
> this way. There isn’t a clear distinction in the usage of these  
> mailing lists; we should all just be using the same one.
> - Hongwei, are there any scripts/source files you used in generating the  
> current website? Anything we can repurpose to make moving things over  
> faster would be appreciated.
> 
> Quoting Ian Denhardt (2013-12-29 00:01:58)
> 
> > Will do. I’ll post back here when I’ve got something to show.
> > 
> > -Ian
> > 
> > Quoting gmhwxi (2013-12-28 22:42:32)
> > 
> > > If you could get it started, that would be a great help.  
> > > Yes, I will be happy to pull the changes.  
> > > On Saturday, December 28, 2013 9:02:45 PM UTC-5, Ian Denhardt wrote:
> > > 
> > > ```
> > > Hey all, 
> > > The ATS website is undermaintained. It's generally confusing to 
> > > navigate, and some parts of it point to out of date resources or 
> > > information. 
> > > I feel like we should do something to make it easier for the 
> > > community 
> > > to help out with this, and issues like it. How would it be if I 
> > > threw up 
> > > a git repo somewhere, with something initially resembling the 
> > > current 
> > > website, and invited people to work on it? Would people get 
> > > involved? 
> > > Hongwei, would you be open to pulling website changes from the 
> > > 
> > > ```
> 
> rest
> 
> > > ```
> > > of 
> > > us? 
> > > Also - the current website mentiones at the bottom that it's made 
> > > with 
> > > ATS. I assume this includes at least the syntax hilighting. Are 
> > > those 
> > > tools available somewhere? 
> > > -Ian 
> > > 
> > > ```
> > > 
> > > –  
> > > You received this message because you are subscribed to the Google  
> > > Groups “ats-lang-users” group.  
> > > To unsubscribe from this group and stop receiving emails from it,  
> > > send  
> > > an email to [ats-lang...@googlegroups.com](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)\<javascript:\>.
> 
> > > To view this discussion on the web visit  
> > > [1]  
> > > [https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-](https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-)  
> > > 98c1-41fbe037b79f%[40googlegroups.com](http://40googlegroups.com).
> > > 
> > > References
> > > 
> > > 1.
> 
> [https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com)
> 
> > –  
> > You received this message because you are subscribed to the Google  
> > Groups “ats-lang-users” group.  
> > To unsubscribe from this group and stop receiving emails from it, send  
> > an email to [ats-lang...@googlegroups.com](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)\<javascript:\>.
> 
> > To view this discussion on the web visit  
> > [https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad](https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad).

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 30, 2013, 7:19pm UTC](https://discourse.ats-lang.org/t/updating-the-website/550/6 "2013-12-30T19:19:51Z")

</div>

For now, I think that the easiest way is to copy/paste/edit the original  
pages, turning them into the markdown format.On Sunday, December 29, 2013 4:50:25 PM UTC-5, Ian Denhardt wrote:

> Here’s the source to the two pages I’ve added thus far:
> 
> [https://raw.github.com/zenhack/ats-website/master/index.md](https://raw.github.com/zenhack/ats-website/master/index.md)  
> [https://raw.github.com/zenhack/ats-website/master/community/index.md](https://raw.github.com/zenhack/ats-website/master/community/index.md)
> 
> The format is github flavored markdown, which is described here:
> 
> [Writing on GitHub - GitHub Docs](https://help.github.com/articles/github-flavored-markdown)
> 
> The bit at the top, which looks like:
> 
> * * *
> 
> ## layout: default
> 
> Sets jekyll specific options. `layout: default` tells jekyll to use this  
> template when generating the page:
> 
> [{{ page.title }}](https://github.com/zenhack/ats-website/blob/master/_layouts/default.html)
> 
> Jekyll itself has a good amount of documentation, which is available  
> here:
> 
> [Redirecting…](http://jekyllrb.com/docs/home/)
> 
> -Ian
> 
> Quoting gmhwxi (2013-12-29 16:14:32)
> 
> > The source for the current ATS website is in the following directory:
> 
> [https://sourceforge.net/p/ats-lang/code/HEAD/tree/trunk/utils/atsdoc/DO](https://sourceforge.net/p/ats-lang/code/HEAD/tree/trunk/utils/atsdoc/DO)
> 
> > CUMENT/atslangweb/  
> > The .atxt files are processed by atsdoc, a command I wrote  
> > essentially  
> > for my own use. If you  
> > show me what a jekyll file for atslangweb\_community looks like, I may  
> > be able to modify the .atxt  
> > files to generate it automatically.  
> > On Sunday, December 29, 2013 3:21:10 PM UTC-5, Ian Denhardt wrote:
> > 
> > ```
> > [1]https://github.com/zenhack/ats-website 
> > Not much there yet. Copying over content is my first prority, but 
> > I'd 
> > also like to clean things up as we go. Contributions more than 
> > welcome. 
> > Questions: 
> > - The existing website still references the sourceforge mailing 
> > list. 
> > Should we really have both that and the google group? I had a 
> > look, 
> > and it appears that Hongwei has been posting announcements to 
> > 
> > ```
> 
> both
> 
> > ```
> > lists. I think it's not such a great idea to fragment the 
> > community 
> > this way. There isn't a clear distinction in the usage of these 
> > mailing lists; we should all just be using the same one. 
> > - Hongwei, are there any scripts/source files you used in 
> > 
> > ```
> 
> generating
> 
> > ```
> > the 
> > current website? Anything we can repurpose to make moving things 
> > over 
> > faster would be appreciated. 
> > Quoting Ian Denhardt (2013-12-29 00:01:58) 
> > > Will do. I'll post back here when I've got something to show. 
> > > 
> > > -Ian 
> > > 
> > > Quoting gmhwxi (2013-12-28 22:42:32) 
> > > > If you could get it started, that would be a great help. 
> > > > Yes, I will be happy to pull the changes. 
> > > > On Saturday, December 28, 2013 9:02:45 PM UTC-5, Ian Denhardt wrote: 
> > > > 
> > > > Hey all, 
> > > > The ATS website is undermaintained. It's generally 
> > confusing to 
> > > > navigate, and some parts of it point to out of date 
> > resources or 
> > > > information. 
> > > > I feel like we should do something to make it easier for 
> > the 
> > > > community 
> > > > to help out with this, and issues like it. How would it be 
> > if I 
> > > > threw up 
> > > > a git repo somewhere, with something initially resembling 
> > the 
> > > > current 
> > > > website, and invited people to work on it? Would people 
> > 
> > ```
> 
> get
> 
> > ```
> > > > involved? 
> > > > Hongwei, would you be open to pulling website changes from 
> > the rest 
> > > > of 
> > > > us? 
> > > > Also - the current website mentiones at the bottom that 
> > it's made 
> > > > with 
> > > > ATS. I assume this includes at least the syntax 
> > 
> > ```
> 
> hilighting.
> 
> > ```
> > Are 
> > > > those 
> > > > tools available somewhere? 
> > > > -Ian 
> > > > 
> > > > -- 
> > > > You received this message because you are subscribed to the 
> > Google 
> > > > Groups "ats-lang-users" group. 
> > > > To unsubscribe from this group and stop receiving emails 
> > 
> > ```
> 
> from
> 
> > ```
> > it, send 
> > > > an email to [2]ats-lang...@googlegroups.com. 
> > > > To post to this group, send email to 
> > [3]ats-l...@googlegroups.com. 
> > > > To view this discussion on the web visit 
> > > > [1][4]https://groups.google.com/d/msgid/ats-lang-users/ 
> > d4958ff0-2683-4068- 
> > > > 98c1-41fbe037b79f%[5]40googlegroups.com. 
> > > > 
> > > > References 
> > > > 
> > > > 1. [6]https://groups.google.com/d/ 
> > msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f% 
> > 40googlegroups.com 
> > > 
> > > -- 
> > > You received this message because you are subscribed to the 
> > 
> > ```
> 
> Google
> 
> > ```
> > Groups "ats-lang-users" group. 
> > > To unsubscribe from this group and stop receiving emails from it, 
> > send an email to [7]ats-lang...@googlegroups.com. 
> > > To post to this group, send email to [8]ats-lan...@googlegroups. 
> > com. 
> > > To view this discussion on the web visit 
> > [9]https://groups.google.com/d/msgid/ats-lang-users/ 
> > 20131229050158.25547.16681%40nomad. 
> > 
> > ```
> > 
> > –  
> > You received this message because you are subscribed to the Google  
> > Groups “ats-lang-users” group.  
> > To unsubscribe from this group and stop receiving emails from it,  
> > send  
> > an email to [ats-lang...@googlegroups.com](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)\<javascript:\>.
> 
> > To view this discussion on the web visit  
> > [10]  
> > [https://groups.google.com/d/msgid/ats-lang-users/c77208a7-f4c0-4354](https://groups.google.com/d/msgid/ats-lang-users/c77208a7-f4c0-4354)  
> > -a301-d1d970654e7d%[40googlegroups.com](http://40googlegroups.com).
> > 
> > References
> > 
> > 1. [GitHub - zenhack/ats-website: Refactoring ats-lang.org](https://github.com/zenhack/ats-website)
> > 2. javascript:/
> > 3. javascript:/
> > 4.
> 
> [https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-](https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-)
> 
> > 1. [http://40googlegroups.com/](http://40googlegroups.com/)
> > 2.
> 
> [https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com)
> 
> > 1. javascript:/
> > 2. javascript:/
> > 3.
> 
> [https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad](https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad)
> 
> > 1.
> 
> [https://groups.google.com/d/msgid/ats-lang-users/c77208a7-f4c0-4354-a301-d1d970654e7d%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/c77208a7-f4c0-4354-a301-d1d970654e7d%40googlegroups.com)

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 29, 2013, 9:14pm UTC](https://discourse.ats-lang.org/t/updating-the-website/550/7 "2013-12-29T21:14:32Z")

</div>

The source for the current ATS website is in the following directory:

[https://sourceforge.net/p/ats-lang/code/HEAD/tree/trunk/utils/atsdoc/DOCUMENT/atslangweb/](https://sourceforge.net/p/ats-lang/code/HEAD/tree/trunk/utils/atsdoc/DOCUMENT/atslangweb/)

The .atxt files are processed by atsdoc, a command I wrote essentially for  
my own use. If you  
show me what a jekyll file for atslangweb\_community looks like, I may be  
able to modify the .atxt  
files to generate it automatically.On Sunday, December 29, 2013 3:21:10 PM UTC-5, Ian Denhardt wrote:

> [GitHub - zenhack/ats-website: Refactoring ats-lang.org](https://github.com/zenhack/ats-website)
> 
> Not much there yet. Copying over content is my first prority, but I’d  
> also like to clean things up as we go. Contributions more than welcome.
> 
> Questions:
> 
> - The existing website still references the sourceforge mailing list.  
> Should we really have both that and the google group? I had a look,  
> and it appears that Hongwei has been posting announcements to both  
> lists. I think it’s not such a great idea to fragment the community  
> this way. There isn’t a clear distinction in the usage of these  
> mailing lists; we should all just be using the same one.
> - Hongwei, are there any scripts/source files you used in generating the  
> current website? Anything we can repurpose to make moving things over  
> faster would be appreciated.
> 
> Quoting Ian Denhardt (2013-12-29 00:01:58)
> 
> > Will do. I’ll post back here when I’ve got something to show.
> > 
> > -Ian
> > 
> > Quoting gmhwxi (2013-12-28 22:42:32)
> > 
> > > If you could get it started, that would be a great help.  
> > > Yes, I will be happy to pull the changes.  
> > > On Saturday, December 28, 2013 9:02:45 PM UTC-5, Ian Denhardt wrote:
> > > 
> > > ```
> > > Hey all, 
> > > The ATS website is undermaintained. It's generally confusing to 
> > > navigate, and some parts of it point to out of date resources or 
> > > information. 
> > > I feel like we should do something to make it easier for the 
> > > community 
> > > to help out with this, and issues like it. How would it be if I 
> > > threw up 
> > > a git repo somewhere, with something initially resembling the 
> > > current 
> > > website, and invited people to work on it? Would people get 
> > > involved? 
> > > Hongwei, would you be open to pulling website changes from the 
> > > 
> > > ```
> 
> rest
> 
> > > ```
> > > of 
> > > us? 
> > > Also - the current website mentiones at the bottom that it's made 
> > > with 
> > > ATS. I assume this includes at least the syntax hilighting. Are 
> > > those 
> > > tools available somewhere? 
> > > -Ian 
> > > 
> > > ```
> > > 
> > > –  
> > > You received this message because you are subscribed to the Google  
> > > Groups “ats-lang-users” group.  
> > > To unsubscribe from this group and stop receiving emails from it,  
> > > send  
> > > an email to [ats-lang...@googlegroups.com](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)\<javascript:\>.
> 
> > > To view this discussion on the web visit  
> > > [1]  
> > > [https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-](https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-)  
> > > 98c1-41fbe037b79f%[40googlegroups.com](http://40googlegroups.com).
> > > 
> > > References
> > > 
> > > 1.
> 
> [https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com](https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com)
> 
> > –  
> > You received this message because you are subscribed to the Google  
> > Groups “ats-lang-users” group.  
> > To unsubscribe from this group and stop receiving emails from it, send  
> > an email to [ats-lang...@googlegroups.com](mailto:ats-lang...@googlegroups.com) \<javascript:\>.  
> > To post to this group, send email to [ats-l...@googlegroups.com](mailto:ats-l...@googlegroups.com)\<javascript:\>.
> 
> > To view this discussion on the web visit  
> > [https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad](https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad).

---

<div class="post-metadata">

**Author:** ![gmhwxi](https://avatars.discourse-cdn.com/v4/letter/g/67e7ee/32.png) [@gmhwxi](https://discourse.ats-lang.org/u/gmhwxi)\
**Post date:** [December 29, 2013, 3:42am UTC](https://discourse.ats-lang.org/t/updating-the-website/550/8 "2013-12-29T03:42:32Z")

</div>

If you could get it started, that would be a great help.

Yes, I will be happy to pull the changes.On Saturday, December 28, 2013 9:02:45 PM UTC-5, Ian Denhardt wrote:

> Hey all,
> 
> The ATS website is undermaintained. It’s generally confusing to  
> navigate, and some parts of it point to out of date resources or  
> information.
> 
> I feel like we should do something to make it easier for the community  
> to help out with this, and issues like it. How would it be if I threw up  
> a git repo somewhere, with something initially resembling the current  
> website, and invited people to work on it? Would people get involved?  
> Hongwei, would you be open to pulling website changes from the rest of  
> us?
> 
> Also - the current website mentiones at the bottom that it’s made with  
> ATS. I assume this includes at least the syntax hilighting. Are those  
> tools available somewhere?
> 
> -Ian