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