# How about use github pages to host ATS Documentation?

**URL:** <https://discourse.ats-lang.org/t/how-about-use-github-pages-to-host-ats-documentation/608>\
**Category:** Google Group\
**Created:** [July 22, 2015, 2:33am UTC](https://discourse.ats-lang.org/t/how-about-use-github-pages-to-host-ats-documentation/608 "2015-07-22T02:33:11Z")\
**Posts on this page:** 4\
**Page:** 1

<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:** [July 22, 2015, 2:33am UTC](https://discourse.ats-lang.org/t/how-about-use-github-pages-to-host-ats-documentation/608/1 "2015-07-22T02:33:11Z")

</div>

I am thinking about the same thing 🙂

I really feel kind of sorry for sourceforge people.On Tue, Jul 21, 2015 at 10:25 PM, Kiwamu Okabe [kiw...@debian.or.jp](mailto:kiw...@debian.or.jp) wrote:

> Hi Hongwei,
> 
> Following document pages does not live some days.
> 
> [Introduction to Programming in ATS](http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/book1.html)  
> [A Tutorial on Programming Features in ATS](http://ats-lang.sourceforge.net/DOCUMENT/ATS2TUTORIAL/HTML/book1.html)  
> [http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/](http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/)
> 
> I think these pages simply have HTML and CSS files.  
> How about use github pages to host these ATS Documentation?
> 
> [https://pages.github.com/](https://pages.github.com/)
> 
> ## Thank’s,
> 
> Kiwamu Okabe at METASEPI DESIGN
> 
> –  
> 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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](http://groups.google.com/group/ats-lang-users).  
> To view this discussion on the web visit  
> [https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dn8b52g00a1O1io1%2Bv7yui1pKrgWmLDkHwPP1Rm7ppW4g%40mail.gmail.com](https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dn8b52g00a1O1io1%2Bv7yui1pKrgWmLDkHwPP1Rm7ppW4g%40mail.gmail.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:** [July 24, 2015, 7:10pm UTC](https://discourse.ats-lang.org/t/how-about-use-github-pages-to-host-ats-documentation/608/2 "2015-07-24T19:10:59Z")

</div>

I have also added a backup link to the following page  
(Effective ATS):

[http://www.ats-lang.org/Documents.html#EFF2ATSPROGEXOn](http://www.ats-lang.org/Documents.html#EFF2ATSPROGEXOn) Wednesday, July 22, 2015 at 12:06:21 AM UTC-4, gmhwxi wrote:

> I have just added some backup links to the two books on ATS:
> 
> [http://www.ats-lang.org/Documents.html](http://www.ats-lang.org/Documents.html)
> 
> I would gradually add backup links to other important items  
> inside [http://www.ats-lang.org](http://www.ats-lang.org)
> 
> On Tuesday, July 21, 2015 at 10:33:11 PM UTC-4, gmhwxi wrote:
> 
> > I am thinking about the same thing 🙂
> > 
> > I really feel kind of sorry for sourceforge people.
> > 
> > On Tue, Jul 21, 2015 at 10:25 PM, Kiwamu Okabe \<kiwamu@…\> wrote:
> > 
> > > Hi Hongwei,
> > > 
> > > Following document pages does not live some days.
> > > 
> > > [Introduction to Programming in ATS](http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/book1.html)  
> > > [A Tutorial on Programming Features in ATS](http://ats-lang.sourceforge.net/DOCUMENT/ATS2TUTORIAL/HTML/book1.html)  
> > > [http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/](http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/)
> > > 
> > > I think these pages simply have HTML and CSS files.  
> > > How about use github pages to host these ATS Documentation?
> > > 
> > > [https://pages.github.com/](https://pages.github.com/)
> > > 
> > > ## Thank’s,
> > > 
> > > Kiwamu Okabe at METASEPI DESIGN

---

<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:** [July 22, 2015, 4:06am UTC](https://discourse.ats-lang.org/t/how-about-use-github-pages-to-host-ats-documentation/608/3 "2015-07-22T04:06:21Z")

</div>

I have just added some backup links to the two books on ATS:

[http://www.ats-lang.org/Documents.html](http://www.ats-lang.org/Documents.html)

I would gradually add backup links to other important items  
inside [http://www.ats-lang.orgOn](http://www.ats-lang.orgOn) Tuesday, July 21, 2015 at 10:33:11 PM UTC-4, gmhwxi wrote:

> I am thinking about the same thing 🙂
> 
> I really feel kind of sorry for sourceforge people.
> 
> On Tue, Jul 21, 2015 at 10:25 PM, Kiwamu Okabe \<kiwamu@…\> wrote:
> 
> > Hi Hongwei,
> > 
> > Following document pages does not live some days.
> > 
> > [Introduction to Programming in ATS](http://ats-lang.sourceforge.net/DOCUMENT/INT2PROGINATS/HTML/book1.html)  
> > [A Tutorial on Programming Features in ATS](http://ats-lang.sourceforge.net/DOCUMENT/ATS2TUTORIAL/HTML/book1.html)  
> > [http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/](http://ats-lang.sourceforge.net/EXAMPLE/EFFECTIVATS/)
> > 
> > I think these pages simply have HTML and CSS files.  
> > How about use github pages to host these ATS Documentation?
> > 
> > [https://pages.github.com/](https://pages.github.com/)
> > 
> > ## Thank’s,
> > 
> > Kiwamu Okabe at METASEPI DESIGN

---

<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:** [July 22, 2015, 5:25am UTC](https://discourse.ats-lang.org/t/how-about-use-github-pages-to-host-ats-documentation/608/4 "2015-07-22T05:25:58Z")

</div>

Yes, the URL is fixed.On Wed, Jul 22, 2015 at 12:19 AM, Kiwamu Okabe [kiw...@debian.or.jp](mailto:kiw...@debian.or.jp) wrote:

> Hi Hongwei,
> 
> On Wed, Jul 22, 2015 at 1:06 PM, gmhwxi [gmh...@gmail.com](mailto:gmh...@gmail.com) wrote:
> 
> > I have just added some backup links to the two books on ATS:
> > 
> > [http://www.ats-lang.org/Documents.html](http://www.ats-lang.org/Documents.html)
> > 
> > I would gradually add backup links to other important items  
> > inside [http://www.ats-lang.org](http://www.ats-lang.org)
> 
> The URL is fixed? [http://ats-lang.github.io/DOCUMENT/](http://ats-lang.github.io/DOCUMENT/)…  
> I would like to link it from my translation.
> 
> [ATSプログラミング入門](http://jats-ug.metasepi.org/doc/ATS2/INT2PROGINATS/index.html)
> 
> ## Thank’s,
> 
> Kiwamu Okabe at METASEPI DESIGN
> 
> –  
> 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](mailto:ats-lang-user...@googlegroups.com).  
> To post to this group, send email to [ats-lan...@googlegroups.com](mailto:ats-lan...@googlegroups.com).  
> Visit this group at [http://groups.google.com/group/ats-lang-users](http://groups.google.com/group/ats-lang-users).  
> To view this discussion on the web visit  
> [https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dmBn4Nkr1Qvxe%2BC5Ntmxu3deP5E56F9aa6TVLdxFuzvDQ%40mail.gmail.com](https://groups.google.com/d/msgid/ats-lang-users/CAEvX6dmBn4Nkr1Qvxe%2BC5Ntmxu3deP5E56F9aa6TVLdxFuzvDQ%40mail.gmail.com)  
> .