Finaly, mark manual.xml as do-not-translate.

André L F S Bacci · jordikroon · commit 0086d866973c · 2026-07-26T21:58:59.000+02:00
diff --git a/manual.xml b/manual.xml
@@ -1,4 +1,5 @@
 <?xml version="1.0" encoding="utf-8"?>
+<?do-not-translate?>
 <!DOCTYPE PHPDOC [
 
 <!ENTITY % configure SYSTEM "./temp/conf.dtd">

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,5 @@`
`1`	`1`	`<?xml version="1.0" encoding="utf-8"?>`
	`2`	`+<?do-not-translate?>`
`2`	`3`	`<!DOCTYPE PHPDOC [`
`3`	`4`
`4`	`5`	`<!ENTITY % configure SYSTEM "./temp/conf.dtd">`