Re: [PATCH] doc: replace symlink with duplicate page for nmbug

2022-06-30 Thread Michael J Gruber
Am Do., 30. Juni 2022 um 13:20 Uhr schrieb David Bremner : > > This automatically propagates to the info version of the pages, which > saves having maintain two sets of symlinks. > --- > > What do you think about this as an alternative approach? It seems > slightly more maintainable to me,

[PATCH] doc: replace symlink with duplicate page for nmbug

2022-06-30 Thread David Bremner
This automatically propagates to the info version of the pages, which saves having maintain two sets of symlinks. --- What do you think about this as an alternative approach? It seems slightly more maintainable to me, although I am willing to be convinced otherwise. If it is an improvement we