diff options
-rw-r--r-- | doc/users/tschwinge.mdwn | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/doc/users/tschwinge.mdwn b/doc/users/tschwinge.mdwn index 05587a24c..7220310f3 100644 --- a/doc/users/tschwinge.mdwn +++ b/doc/users/tschwinge.mdwn @@ -93,6 +93,13 @@ The title of each page (as in `<html><head><title>`...) should be prefixed with *GNU Project - GNU Hurd -*. We can either do this directly in `page.tmpl`, or create a way to modify the `TITLE` template variable suitably. +## [[plugins/inline]] feedfile option + +Not that important. Git commit b67632cdcdd333cf0a88d03c0f7e6e62921f32c3. This +would be nice to have even when using *usedirs*. Might involve issues as +discussed in *N-to-M Mapping of Input and Output Files* on +[[plugins/contrib/texinfo]]. + ## Unverified -- these may be bugs, but have yet to be verified * ikiwiki doesn't change its internal database when \[[!meta date]] / |