backend/tools/gen_eci_?b_h.php: get data from web (where possible)

and remove *.TXT from backend/tools/data, adding GB2312.TXT
  README
manual: try to make scaling info more exact, and re-iterate no text
  printed for raster with scale < 1;
  move CLI HRT section up;
  add one-page docs/manual.html to git - should do same for 3.1M
  manual.pdf??
other: remove some no longer used backend/tools, readme-cmake
This commit is contained in:
gitlost 2023-07-24 12:56:40 +01:00
parent 255107b588
commit 2287b9ab0a
34 changed files with 9484 additions and 56536 deletions

View file

@ -10,7 +10,7 @@ $if(linestretch)$
line-height: $linestretch$;
$endif$
color: $if(fontcolor)$$fontcolor$$else$#1a1a1a$endif$;
background-color: $if(backgroundcolor)$$backgroundcolor$$else$#fdfdfd$endif$;
background-color: $if(backgroundcolor)$$backgroundcolor$$else$#ffffff$endif$;
}
body {
margin: 0 auto;
@ -179,7 +179,7 @@ pre code {
overflow: visible;
}
div.sourceCode {
background-color: #f5f5f5;
background-color: #f7f7f7;
padding: 0.3em 0;
}
aside.footnotes {