diff options
Diffstat (limited to 'lispref/doclicense.texi')
| -rw-r--r-- | lispref/doclicense.texi | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lispref/doclicense.texi b/lispref/doclicense.texi index de1bd20af20..1c7a4d05989 100644 --- a/lispref/doclicense.texi +++ b/lispref/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: 9014cf6e-f3c4-401d-b8da-4fe52723984c +@end ignore |