summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--doc/users/tschwinge.mdwn7
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]] /