[PATCH 3/5] Document operating system as GNU.

[Alexandre Oliva]

The code sets so to GNU, but the docs suggested Linux.  Fix the latter
to match.
---
 doc/FORMATO |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/FORMATO b/doc/FORMATO
index a4ab770..a5a5db3 100644
--- a/doc/FORMATO
+++ b/doc/FORMATO
@@ -34,7 +34,7 @@ C: (6 bytes) + deflate(hash)
 		ip_loc = "127.0.0.1" (endereço IP local)
 		versao_java = "1.5.0-gij;Free Software rnetclient pretending to be GNU Interpreter for Java" (versão do Java em ASCII; o ReceitaNet concatena as propriedades java.version e java.runtime.name, com ";" entre elas)
 		origem = "JA2R" (melhor repetir!)
-		so = "Linux"
+		so = "GNU"
 		cliente = "201105" (identificador de versão do receitanet)
 		dados_val = parte do cabeçalho do DEC (desce in_cert até vr_totpagamentos) bytes 112 a 750
 		tam_dados_val = 0x00 0x00 0x00 0x00 (4 bytes)