Open ghost opened 7 years ago
convert to DocBook 5 (docserv -> project_management/archive/github_migration/html/db4_to_db5.html)
Ideally, we would generate DocBook 5 in the first place, I suppose. Would that be so hard? Otoh, the 425 stylesheet is probably easy to add... even though it makes us run even longer.
convert to DocBook 5 (docserv -> project_management/archive/github_migration/html/db4_to_db5.html)