HCoop
/
bpt
/
coccinelle.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Release coccinelle-0.1.11rc1
[bpt/coccinelle.git]
/
docs
/
manual
/
main.tex
diff --git
a/docs/manual/main.tex
b/docs/manual/main.tex
index
5f5f6d1
..
9d064e0
100644
(file)
--- a/
docs/manual/main.tex
+++ b/
docs/manual/main.tex
@@
-141,7
+141,7
@@
GNU Free Documentation License version 1.3.
\section*{Availability}
Coccinelle can be freely downloaded
-from \verb+http://
www.emn.fr/x-info/coccinelle
+.
+from \verb+http://
coccinelle.lip6.fr/
+.
This website contains also additional information.