[Dune] [Dune-Commit] dune-web r775 - / publications

[Markus Blatt]

Thanks a lot for the effort Robert.

Unfortunately there is no replace command on my computer. What is the
following line supposed to do?


  replace "$FILEBIB" "$OUTBIB" -- $FILE.html

Cheers,

Markus