Difference between revisions of "Handbook Content Migration"

From Event-B
Jump to navigationJump to search
imported>Jastram
(New page: == Goals == For the Rodin Handbook Project, we will migrate some of the Wiki content to Latex, to be managed in SVN. Our objective of the content migration guide is to ensure that: * All...)
 
imported>Jastram
 
Line 16: Line 16:
 
! scope="col" | Do not edit!  This content has been migrated to Subversion.
 
! scope="col" | Do not edit!  This content has been migrated to Subversion.
 
|-
 
|-
|(TODO: Link to nightly Jenkins build of Handbook)
+
|([http://www.stups.uni-duesseldorf.de/~jenkins/org.rodinp.handbook.feature/build/html/ Nightly Handbook Build])
 
|}
 
|}
  

Latest revision as of 11:42, 30 June 2011

Goals

For the Rodin Handbook Project, we will migrate some of the Wiki content to Latex, to be managed in SVN. Our objective of the content migration guide is to ensure that:

  • All content is accessible at all times
  • Content is always managed in one place only
  • We prevent stale content from being edited.

Method

We will achieve this with a rather simple mechanism: Migrated wiki content will be marked with the following banner:

Do not edit! This content has been migrated to Subversion.
(Nightly Handbook Build)

Impact

We will definitely migrate the pages that are currently part of the Eclipse Help System (18 pages). We inspected the history and noted few modifications, on the order of one every six months.

We intend to migrate these pages before the next Rodin release. This has two advantages: First, we will be able to roll out the new help system with the next Rodin release. While the documentation will not be complete at that point, it will definitely contain more information than it does right now. Second, we will be able to solicit feedback on the Eclipse-version of the Handbook, before this project ends, allowing us to incorporate feedback from users of the Eclipse Help System as well.

The next release is scheduled for September 2011.