1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 11:40:18 +02:00

Typos and a small addition.

This commit is contained in:
Marius Vollmer 2004-08-03 14:54:17 +00:00
parent 145c4821fd
commit 5aa76027f5

View file

@ -405,8 +405,12 @@ of the obsoleted things.
The file @file{README} contains instructions on how to control the
inclusion or removal of the deprecated and/or discouraged features
from the public API of Guile, and the how to control the warning
messages for deprecated features.
from the public API of Guile, and how to control the warning messages
for deprecated features.
The idea behind those mechanisms is that normally all deprecated and
discouraged features are available, but that you can omit them on
purpose to check whether your code still relies on them.
@node Reporting Bugs
@section Reporting Bugs