-\input texinfo @c -*- coding: utf-8; mode: texinfo; documentlanguage: ca -*-
-@c This file is part of web.texi
+@c -*- coding: utf-8; mode: texinfo; documentlanguage: ca -*-
@ignore
Translation of GIT committish: feeca25b207bd510705974896d640ea292cd7fc4