It's ok.

You have to add the plain text version of the license (usually
this file is named "COPYING") at the source root. The GPL is
available from <http://www.gnu.org/licenses/gpl.txt>.

A new project has been registered at Gna!
This project account will remain inactive until a site admin approves or discards the registration.

Registration Administration

While this item will be useful to track the registration process, approving or discarding the registration must be done using the specific Group Administration page, accessible only to site administrators, effectively logged as site administrators (superuser):

• Group Administration

Registration Details

• Name: Convertisseur HTML vers Texinfo (HTML to Texinfo converter)
• System Name: html-to-texi
• Type: Programs
• License: Other, GPL Compatible (Intended Licence is CeCiLL v2. It is GPL compatible, see their site (http://www.cecill.info).)

Description:

The project is an emacs-lisp package to convert from HMTL to Texinfo.

This of course cannot do a full conversion, there is still some manual work, but it does properly the bulk of it.

I already used it to convert jPicEdt documentation from HTML to Texinfo, and indeed that was my original aim.

A version can be found here (this is not the latest)

http://vincentbelaiche.pagesperso-orange.fr/#sec-1-4

Other Software Required:

The project depends only on EMACS

Other Comments:

Texinfo is great for technical documentation.