You can upload content for the page named below. If you change the page name, you can also upload content for another page. If the page name is empty, we derive the page name from the file name.
package OpenBUGS for distribution (also generates html files)
make sure any Linux-related files have been deleted!
Dev -> Copy OpenBUGS