?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Fix typos, add more info in README
[gwiad.git] / doc / gen_doc.sed.tmplt
blobafde0483f16ca9621edcc6a23516bd6c5d021961
1 s,x_GWIAD_VERSION_x,@_GWIAD_VERSION_@,g
2 s,x_AWS_VERSION_x,@_AWS_VERSION_@,g
3 /@_GWIAD_PLUGINS_SERVICES_CODE_@/ {
4    r ../plugins/services/src/gwiad-plugins-services.ads
5    d
6 }
Gwiad is a framework for building a Web Server with dynamic plugin loading based on AWS