Merge branch 'pu'
[jungerl.git] / lib / www_tools / www_tools.pub
blobe59fa81adaa7252c0afdf36fe9b45e438717c101
1 {author,"Joe Armstrong","joe@cslab.ericsson.se","981127"}.
2 {name,"www_tools"}.
3 {vsn,{1,0}}.
4 {summary,"Tools for fetching and manipulating WWW pages"}.
5 {keywords,["html","www","web"]}.
6 {needs,[]}.
7 {abstract,"WWW tools is a package of tools
8 for fetching and manipulating web pages.
9 The programs in this package illustrate how to fetch a URL using the
10 Erlang socket interface, we show how to tokenise and analysis HTML and
11 also provide a simple macro processor for HTML."}.