Fix encoding to show euro-sign of doc-source-url option correctly.

review @vladureche