Ok so here's a summary of the doc tools.
1. "flx" can run both flx and fdoc formats, in fact they're the same format.
2. The webserver can nest Felix code in fdocs but not vice versa.
3. flx_tangle can now extract three files from an fdoc called fred.fdoc:
File
one little problem ..
At the moment, flx_tangle will take a file x.fdoc and extract the @felix code
to make a file x.flx and the @expect code to make x.expect. Now you can
run flx on x.flx with expect file x.expect.
But you could also run flx on x.fdoc! The only caveat is that after some blank
l
So, at the moment, "flx" and "flxg" recognise two file extensions: *.flx and
*.fdoc.
However, both are parsed exactly the same way. We start assuming felix code
in both cases, and the sequence
@blah ...
...
@felix
is considered as a comment (for any "blah" you like). The only hassle is that
to
