Skip to content

Fix bug in paths replacement for search js

Uwe Jandt (DESY, HIFIS) requested to merge fix-bug-paths-for-search-js into master

For production pipeline, paths to js and json files are set wrongly: leading // instead of /.

Fix that.


Don't forget:

  • revert e8f70aac, i.e. re-add search symbol, once working.
Edited by Uwe Jandt (DESY, HIFIS)

Merge request reports