W3C home > Mailing lists > Public > public-owl-wg@w3.org > October 2007

editing documents in a wiki

From: Sandro Hawke <sandro@w3.org>
Date: Mon, 22 Oct 2007 11:12:04 -0400
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: alanruttenberg@gmail.com, public-owl-wg@w3.org
Message-ID: <26407.1193065924@ubuhebe>

"Peter F. Patel-Schneider" <pfps@research.bell-labs.com> writes:
> From: Alan Ruttenberg <alanruttenberg@gmail.com>
> Subject: Postponed agenda items
> Date: Thu, 18 Oct 2007 07:53:05 -0400
> [...]
> > Should we edit the documents inside the wiki? (html, or wiki markup?)
> > 
> > -Alan
> Well, I'm still not completely sure whether the wiki will support full
> HTML, and how easy it is to edit significant documents within the WIKI.
> (All I know about editing within a WIKI is that I'm sure not going to do
> it by using Firefox editing.)
> If I can't easily extract the contents of a document section, move it to
> another editor (EMACS), edit it there, and then update the document
> section,

Step 1: install the firefox extension "It's All Text":

There are also command-line tools for wiki download/upload, but I
haven't tried them.

> then I'm casting a very firm vote against having our documents
> in the WIKI.   Note that the round-trip has to be able to produce
> wrapped lines for editing and then not produce diffs related to this
> wrapping, unwrapping, or re-wrapping, or any artifacts of the wrapping.

Is your concern here:
    - you don't want some tool messing up where you-as-editor
      put the line-ends?   The wiki shouldn't be a problem here.
    - you want people to be able to see the changes for what they really
      are, not the changes in line-end placement caused by emacs flowing
      text?  The wiki diff tool sucks (IMHO), but there are external
      HTML diff tools we can use.

> I also need to be able to produce off-line versions of the document
> easily and faithfully.

Yes, I'm working on reimpleming the tool RIF has been using to produce
TRs from the wiki.   Basic features:

      - change style from wiki style to W3C TR-style (pubrules
      - combine multiple wiki pages into on TR (maybe not necessary,
        given mediawiki's SectionEdit feature)
      - works on old versions -- the wiki has the document history,
        so one should be able to extract the TR as of some date.

One other big feature of mediawiki is that it has templates (ie macros).
It's been a while since I'd worked in a text-processing language that
had them, and I'd forgotten how useful they are in handling redundant
parts of the document, like tables.

Will that do what you want?

     -- Sandro
Received on Monday, 22 October 2007 15:13:45 UTC

This archive was generated by hypermail 2.3.1 : Tuesday, 6 January 2015 21:41:59 UTC