On Tue, 13 Dec 2016, Michael Biebl wrote: > The tmpfs man page shipped by the manpages package talks about the tmpfs > file system. > The man page shipped by initscripts talks about the debian/initscripts > specific config file /etc/default/tmpfs. > > My gut feeling is, that debian specific tmpfs man page should be renamed.
>From the usual unix policy stuff: The manpage about /etc/default/tmpfs can be tmpfs(5) as it covers a configuration file. The manpage about the Linux tmpfs should be tmpfs(9) as it covers a kernel concept (here: a filesystem). Thanks, //mirabilos -- Sometimes they [people] care too much: pretty printers [and syntax highligh- ting, d.A.] mechanically produce pretty output that accentuates irrelevant detail in the program, which is as sensible as putting all the prepositions in English text in bold font. -- Rob Pike in "Notes on Programming in C"