doc/web: Use repo.or.cz terminology for the summary page.
[Ale.git] / doc / 
tree9b059351f7b9abe269b7d6a0cffc8e4eff856d46
drwxr-xr-x   ..
-rw-r--r-- 1846 COPYING
-rw-r--r-- 29496 Makefile
-rw-r--r-- 22881 ale-doc.xsl
-rwxr-xr-x 253 generate
drwxr-xr-x - html-original
-rw-r--r-- 434 index.xml
-rwxr-xr-x 2470 make-changelog
-rwxr-xr-x 173 make-infos
drwxr-xr-x - package
-rw-r--r-- 65680 pre-darcs-ls-lR
-rw-r--r-- 4861 taxonomy.xmli
drwxr-xr-x - technical
drwxr-xr-x - tutorial
drwxr-xr-x - user
drwxr-xr-x - web