diff options
Diffstat (limited to 'sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch')
-rw-r--r-- | sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch b/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch new file mode 100644 index 000000000000..877ecd60b710 --- /dev/null +++ b/sci-mathematics/twelf/files/twelf-1.7.1-doc-guide-twelf-dot-texi.patch @@ -0,0 +1,14 @@ +--- twelf-orig/doc/guide/twelf.texi 2004-04-01 04:26:38.000000000 +1000 ++++ twelf/doc/guide/twelf.texi 2012-12-08 21:14:17.026139996 +1100 +@@ -12,6 +12,11 @@ + @syncodeindex fn cp + @c %**end of header + ++@dircategory Programming ++@direntry ++* Twelf User Guide: (twelf). The Twelf User's Guide. ++@end direntry ++ + @titlepage + @title Twelf User's Guide + @subtitle Version @value{VERSION} |