a04fdf7f00
Add info directory entries by way of patch files to most of the info files.
16 lines
572 B
Text
16 lines
572 B
Text
$NetBSD: patch-ah,v 1.3 2003/07/05 21:16:38 seb Exp $
|
|
|
|
--- doc/mercury_library.info.orig 2002-12-23 18:32:56.000000000 +0000
|
|
+++ doc/mercury_library.info
|
|
@@ -1,6 +1,11 @@
|
|
This is mercury_library.info, produced by makeinfo version 4.1 from
|
|
library.texi_pp.
|
|
|
|
+INFO-DIR-SECTION The Mercury Programming Language
|
|
+START-INFO-DIR-ENTRY
|
|
+* Mercury Library: (mercury_library). The Mercury Library Reference Manual.
|
|
+END-INFO-DIR-ENTRY
|
|
+
|
|
This file documents the Mercury standard library, version 0.11.0.
|
|
|
|
Copyright (C) 1995-1997,1999-2002 The University of Melbourne.
|