PR #205 broke the Jekyll navigation generation by adding colons in the
navigation file, which confuses the yml parsing. This is most easily
fixed by putting the headers used as navigation targets between
quotation marks.
This change modifies the python script generating the navigation to
always put navigation targers between quotation marks, and to escape
potential quotation marks already present in the string. It also
regenerates the navigation file.
PR #205 broke the Jekyll navigation generation by adding colons in the navigation file, which confuses the yml parsing. This is most easily fixed by putting the headers used as navigation targets between quotation marks.
This change modifies the python script generating the navigation to always put navigation targers between quotation marks, and to escape potential quotation marks already present in the string. It also regenerates the navigation file.