CurrentSegmentInfobox: fixed bug where editing a segment would not update the source correctly and mess up other widgets.

     1

#!/bin/bash

     2

for f in ../../doc/*.md

     3

do

     4

    python markdown2html.py $f

     5

done