%!s(int64=17) %!d(string=hai) anos · ffd3490c96
--- a/tools/mkhtml.sh
+++ b/tools/mkhtml.sh
@@ -21,7 +21,7 @@ if ! grep -i '<html>' "${PGM}.html" > /dev/null 2>&1 ; then
 
				 	<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
			
 
				 	<html>
			
 
				 	<head>
			
 
				-	<title>GRASS GIS: ${PGM}</title>
			
 
				+	<title>GRASS GIS Manual: ${PGM}</title>
			
 
				 	<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
			
 
				 	<link rel="stylesheet" href="grassdocs.css" type="text/css">
			
 
				 	</head>