adding docs in the piki format.

This commit is contained in:
Kazu Yamamoto
2014-11-19 09:07:34 +09:00
parent dbd94c4765
commit 4f768a8bdf
10 changed files with 481 additions and 0 deletions

10
doc/Makefile Normal file
View File

@@ -0,0 +1,10 @@
all:
piki template.html index.piki > index.html
piki template.html install.piki > install.html
piki template.html ghc-mod.piki > ghc-mod.html
piki template.html ghc-modi.piki > ghc-modi.html
piki template.html emacs.piki > emacs.html
piki template.html preparation.piki > preparation.html
piki template.html copyright.piki > copyright.html
piki template.html history.piki > history.html
piki template.html bug.piki > bug.html