diff options
Diffstat (limited to 'man/doclicense.texi')
| -rw-r--r-- | man/doclicense.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/man/doclicense.texi b/man/doclicense.texi index 0369ea06bbb..23ec98c202f 100644 --- a/man/doclicense.texi +++ b/man/doclicense.texi @@ -366,3 +366,7 @@ If your document contains nontrivial examples of program code, we recommend releasing these examples in parallel under your choice of free software license, such as the GNU General Public License, to permit their use in free software. + +@ignore + arch-tag: c1679162-1d8a-4f02-bc52-2e71765f0165 +@end ignore |