Skip to content

Commit

Permalink
Remove redundant column in profile table
Browse files Browse the repository at this point in the history
All info about the stream type is in the next column.
  • Loading branch information
Ostrzyciel committed Oct 30, 2023
1 parent f705a34 commit 785020e
Showing 1 changed file with 2 additions and 4 deletions.
6 changes: 2 additions & 4 deletions src/main/scala/commands/MainDocGenCommand.scala
Original file line number Diff line number Diff line change
Expand Up @@ -131,13 +131,11 @@ object MainDocGenCommand extends Command:

private def profileOverviewDocGen(profileCollection: ProfileCollection, outDir: Path): Unit =
val sb = new StringBuilder()
sb.append("Profile | Stream / flat | Stream type | RDF-star | Non-standard extensions\n")
sb.append("--- | --- | --- | :-: | :-:\n")
sb.append("Profile | Stream type | RDF-star | Non-standard extensions\n")
sb.append("--- | --- | :-: | :-:\n")
for pName <- profileCollection.profiles.keys.toSeq.sorted do
val nameSplit = pName.split('-')
sb.append(f"[$pName]($pName/dev) | ")
sb.append(nameSplit.head)
sb.append(" | ")
sb.append(
(nameSplit(0), nameSplit(1)) match
case ("flat", "mixed") => "flat triple or quad"
Expand Down

0 comments on commit 785020e

Please sign in to comment.