--- layout: fc_discuss_archives title: Message 75 from Frama-C-discuss on February 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] New plugin werror + list of external plugins in the wiki



Hi guys,

> The wiki is open to edition to users registered into the BTS, and you
> > are warmly welcome to edit it as you see fit. In any case, if you use
> > Frama-C, it is a good idea to register an account in the BTS, because
> > I bet you will stumble on matter to open entries in there. :-)
>
> I have an account, but I don't know how to create directories on the
> start page. Currently, all information is on one page. I suggest to
> split this into several pages, eg Installing, Jessie & wp, Value
> analysis, External plugins.
>

Allow me to interrupt there. There *are* several pages on the wiki already
(see the Works about Frama-C on the index page).
You might want to try something like
http://lmgtfy.com/?q=dokuwiki+how+to+add+a+page

Cheers,
-- 
Richard Bonichon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120216/ab22a3a1/attachment.htm>