| Re: [AD] Increasing the character range of autoquotes for html output |
[ Thread Index |
Date Index
| More lists.liballeg.org/allegro-developers Archives
]
On 2004-05-03, Eric Botcazou <ebotcazou@xxxxxxxxxx> wrote:
> > Usually text quotes like `something' are used to indicate filenames in
> > documentation. Filenames tend to have dots in them, so this patch makes
> > those quotes to come in another font.
>
> Have you already commited it? You're the owner of the doc preprocessor so
> you can make whatever changes you deem appropriate.
Done.