web commit by tschwinge: There's a bug somewhere.

diff --git a/doc/plugins/contrib/default_content_for___42__copyright__42___and___42__license__42__.mdwn b/doc/plugins/contrib/default_content_for___42__copyright__42___and___42__license__42__.mdwn
index 759198a9305bc37d6c528c70844e02e7ee6a5cab..0272d1ccb7655582f69f8a94b7bb5e036cdda398 100644 (file)
--- a/doc/plugins/contrib/default_content_for___42__copyright__42___and___42__license__42__.mdwn
+++ b/doc/plugins/contrib/default_content_for___42__copyright__42___and___42__license__42__.mdwn
@@ -9,4 +9,12 @@ so I'm now publishing them here.
 <http://www.schwinge.homeip.net/~thomas/tmp/copyright.pm>
 <http://www.schwinge.homeip.net/~thomas/tmp/license.pm>
 
+/!\ Note that there is still an issue to be resolved with these plugins: have a look at
+[tmpfs](http://www.bddebian.com/~wiki/hurd/translator/tmpfs/).  There are two inlined pages,
+[tmpfs-notes\_bing](http://www.bddebian.com/~wiki/hurd/translator/tmpfs/notes_bing/) and
+[tmpfs-notes\_various](http://www.bddebian.com/~wiki/hurd/translator/tmpfs/notes_various/).
+Compare the *copyright* and *license* information of the inlined pages on *tmpfs* to those
+on the source pages, *tmpfs-notes_bing* and *tmpfs-notes_various*.
+They are different, but shouldn't be.
+
 --[[tschwinge]]