diff options
Diffstat (limited to 'package/texinfo/texinfo.mk')
| -rw-r--r-- | package/texinfo/texinfo.mk | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/package/texinfo/texinfo.mk b/package/texinfo/texinfo.mk index 54d18b68a..7064e12c1 100644 --- a/package/texinfo/texinfo.mk +++ b/package/texinfo/texinfo.mk @@ -1,8 +1,8 @@ -############################################################# +################################################################################ # # texinfo # -############################################################# +################################################################################ # We are intentionally not using the latest version 5.x, because it # causes issues with the documentation building process when creating |