mirror of
https://git.FreeBSD.org/ports.git
synced 2024-11-17 00:00:40 +00:00
72744ad44e
PR: 10514 Submitted by: Dima Sivachenko <dima@chg.ru>
14 lines
371 B
Plaintext
14 lines
371 B
Plaintext
--- vera.texi.orig Tue Mar 9 23:29:09 1999
|
|
+++ vera.texi Tue Mar 9 23:34:16 1999
|
|
@@ -2,6 +2,10 @@
|
|
@c %**start of header
|
|
@setfilename vera.info
|
|
@settitle V.E.R.A@. --- Virtual Entity of Relevant Acronyms
|
|
+@dircategory Miscellaneous
|
|
+@direntry
|
|
+* VERA: (vera). A list dealing with computational acronyms.
|
|
+@end direntry
|
|
@setchapternewpage on
|
|
@c %**end of header
|
|
|