NEUER_TITEL.md zu den Quellen, Kritik-Verzeichnis ganz heraus
Der erste Anlauf schloss Kritik_und_Verbesserungsvorschlaege/ mit einer
Gegenausnahme aus, weil NEUER_TITEL.md darin lag und der Bau ohne diese Datei
abbricht:
Kritik_und_Verbesserungsvorschlaege/*
!Kritik_und_Verbesserungsvorschlaege/NEUER_TITEL.md
Das funktionierte, war aber die schlechtere Loesung: Eine Bauquelle blieb in
einem Verzeichnis liegen, das aus dem Repository verschwinden soll. Jetzt
steht sie als Operations_Research_mit_Python_Version_04/NEUER_TITEL.md bei den
uebrigen Quellen, und .gitignore braucht nur noch eine Zeile.
Eine Stelle im Build musste mit: pruefe_dateien() meldet jede .md im
Quellverzeichnis, die weder in DATEIEN steht noch mit README beginnt, als
"nicht eingebundene Datei". Die bis dahin leere Menge KEINE_KAPITELDATEIEN
fuehrt jetzt NEUER_TITEL.md - eine Quelle, aber keine Kapiteldatei.
Der Nachweis, dass der Umzug nichts veraendert hat, brauchte einen Umweg: Die
Pruefsumme von titelseite.svg aenderte sich - aber nur, weil das Fussband das
Tagesdatum traegt und inzwischen der 9. September war. Mit dem Datum des
Vortags erzeugt, ist die Datei byte-identisch zum committeten Stand
(1b076697...). Dass der Text unveraendert ist, zeigt schon der
Strukturvergleich: 721 Glyphenverweise und 81 Pfaddefinitionen in beiden
Fassungen.
Gegengeprueft mit einem simulierten Klon (git checkout-index in ein leeres
Verzeichnis): Das Kritik-Verzeichnis fehlt dort vollstaendig, NEUER_TITEL.md
liegt im Quellverzeichnis, und --check liefert dieselben Zahlen wie lokal.
Was das NICHT leistet: Die fuenf Dateien verschwinden aus kuenftigen Klons,
nicht aus der Historie. Wer einen alten Commit auscheckt, bekommt sie
weiterhin.
Veroeffentlicht: 5 Dateien uebertragen, PDF unveraendert 781 Seiten.
Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
parent
7f32ef3b8d
commit
509ce021da
17 changed files with 116 additions and 105 deletions
34
PROGRESS.md
34
PROGRESS.md
|
|
@ -2453,6 +2453,40 @@ angebotenen Treffer zu Sutton/Barto (eine Rezension der ersten Auflage von 1998)
|
|||
Übernahme des besten Treffers hätte fünf falsche DOIs ins Buch geschrieben — sichtbar wurde
|
||||
es erst beim Abgleich von Typ, Verlag und Jahr.
|
||||
|
||||
### ✅ `NEUER_TITEL.md` zu den Quellen, Kritik-Verzeichnis ganz heraus
|
||||
|
||||
Rezension und Verbesserungsvorschläge haben ihren Zweck erfüllt und gehören nicht in die
|
||||
Veröffentlichung. Der erste Anlauf schloss das Verzeichnis mit einer Gegenausnahme aus, weil
|
||||
`NEUER_TITEL.md` darin lag und der Bau ohne diese Datei abbricht:
|
||||
|
||||
```
|
||||
Kritik_und_Verbesserungsvorschlaege/*
|
||||
!Kritik_und_Verbesserungsvorschlaege/NEUER_TITEL.md
|
||||
```
|
||||
|
||||
Das funktionierte, war aber die schlechtere Lösung — eine Bauquelle blieb in einem
|
||||
Verzeichnis liegen, das laut eigener Beschreibung aus dem Repository verschwinden soll. Jetzt
|
||||
steht sie als `Operations_Research_mit_Python_Version_04/NEUER_TITEL.md` bei den übrigen
|
||||
Quellen, und `.gitignore` braucht nur noch eine Zeile.
|
||||
|
||||
**Eine Stelle im Build musste mit.** `pruefe_dateien()` meldet jede `.md` im Quellverzeichnis,
|
||||
die weder in `DATEIEN` steht noch mit `README` beginnt, als „nicht eingebundene Datei". Die
|
||||
bis dahin leere Menge `KEINE_KAPITELDATEIEN` führt jetzt `NEUER_TITEL.md` — eine Quelle, aber
|
||||
keine Kapiteldatei.
|
||||
|
||||
**Der Nachweis, dass der Umzug nichts verändert hat**, brauchte einen Umweg: Die Prüfsumme von
|
||||
`titelseite.svg` änderte sich — aber nur, weil das Fußband das Tagesdatum trägt und
|
||||
inzwischen der 9. September war. Mit dem Datum des Vortags erzeugt, ist die Datei
|
||||
**byte-identisch** zum committeten Stand (`1b076697…`). Dass der Text unverändert ist, zeigt
|
||||
schon der Strukturvergleich: 721 Glyphenverweise und 81 Pfaddefinitionen in beiden Fassungen.
|
||||
|
||||
Gegengeprüft mit einem simulierten Klon: Das Kritik-Verzeichnis fehlt dort vollständig,
|
||||
`NEUER_TITEL.md` liegt im Quellverzeichnis, und `--check` liefert dieselben Zahlen wie lokal.
|
||||
|
||||
**Was das *nicht* leistet:** Die fünf Dateien verschwinden aus künftigen Klons, nicht aus der
|
||||
Historie. Wer einen alten Commit auscheckt, bekommt sie weiterhin. Sie wirklich zu tilgen,
|
||||
verlangte `git filter-repo` und einen erzwungenen Push — dafür ist der Anlass zu gering.
|
||||
|
||||
---
|
||||
|
||||
## 8. Commit-Historie des V04-Strangs
|
||||
|
|
|
|||
Loading…
Reference in a new issue