updating the website

[Ian Denhardt]

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

[gmhwxi]

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

Yes, I will be happy to pull the changes.

[Ian Denhardt]

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

-Ian

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

> --
> 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-user...@googlegroups.com.
> To post to this group, send email to ats-lan...@googlegroups.com.
> To view this discussion on the web visit
> [1]https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-
> 98c1-41fbe037b79f%40googlegroups.com.
>
> References
>
> 1. https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com

[Ian Denhardt]

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)

> To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad.

[gmhwxi]

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).

[gmhwxi]

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/

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.

[Ian Denhardt]

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/community/index.md

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

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:

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
> 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

> > > an email to [2]ats-lang-user...@googlegroups.com.

> > > To post to this group, send email to

> [3]ats-lan...@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-user...@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-user...@googlegroups.com.
> To post to this group, send email to ats-lan...@googlegroups.com.
> To view this discussion on the web visit

> [10]https://groups.google.com/d/msgid/ats-lang-users/c77208a7-f4c0-4354
> -a301-d1d970654e7d%40googlegroups.com.
>
> References
>
> 1. https://github.com/zenhack/ats-website
> 2. javascript:/
> 3. javascript:/
> 4. https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-
> 5. http://40googlegroups.com/
> 6. https://groups.google.com/d/msgid/ats-lang-users/d4958ff0-2683-4068-98c1-41fbe037b79f%40googlegroups.com
> 7. javascript:/
> 8. javascript:/
> 9. https://groups.google.com/d/msgid/ats-lang-users/20131229050158.25547.16681%40nomad
> 10. https://groups.google.com/d/msgid/ats-lang-users/c77208a7-f4c0-4354-a301-d1d970654e7d%40googlegroups.com

[gmhwxi]

For now, I think that the easiest way is to copy/paste/edit the original
pages, turning them into the markdown format.