diff options
| author | Joey Hess <joey@wren.kitenet.net> | 2007-11-08 11:04:54 -0500 |
|---|---|---|
| committer | Joey Hess <joey@wren.kitenet.net> | 2007-11-08 11:04:54 -0500 |
| commit | 0bb61e51b7b5784a1ea6292c64fbe5b4a74b6a9e (patch) | |
| tree | 7b65cfa9e31439bb7001213876c49b1fca4f8d8b /doc | |
| parent | fc0cd0b993ae7a68cbdcc4b1432d3b9848d19f57 (diff) | |
web commit by tschwinge
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/plugins/contrib/texinfo.mdwn | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/plugins/contrib/texinfo.mdwn b/doc/plugins/contrib/texinfo.mdwn index 671ed361d..6584648d6 100644 --- a/doc/plugins/contrib/texinfo.mdwn +++ b/doc/plugins/contrib/texinfo.mdwn @@ -38,7 +38,7 @@ How to teach this to ikiwiki? --[[tschwinge]] > to let ikiwiki know that a change to any of those files should cause a > rebuild of the "main" file. --[[Joey]] ->> I'll see about a frob to get `makeinfo` provide me with a list of files +>> (?) I'll see about a frob to get `makeinfo` provide me with a list of additional files >> it used for rendering a given `.texi` file. --[[tschwinge]] > I guess you'd also have to somehow deal with @@ -64,4 +64,7 @@ How to teach this to ikiwiki? --[[tschwinge]] ## `makeinfo` Output `makeinfo --html` is being used for rendering. It creates stand-alone -HTML files, while ikiwiki only needs the files' `<body>`s. --[[tschwinge]] +HTML files, while ikiwiki only needs the files' `<body>`s. + +(?) One possibility (which is what I'm doing at the moment) is to simply cut away +everythin until `<body>` is seen and after `</body>` has been seen. --[[tschwinge]] |