mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-01-20 19:42:53 -08:00
Code Issues Projects Releases Wiki Activity

Avoid "unknown target name" warning when building the manual.

Browse source
This commit is contained in:
Gareth Rees 2020-08-23 15:47:50 +01:00
parent 8e9f458932
commit 503256c6bd
1 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
mps/design/writef.txt
View file

@ -145,6 +145,7 @@ particular type ``void (*)(void)`` is chosen because in GCC
from ``-Wcast-function-type``. See job004156_ and `GCC Warning
Options`_.
.. _job004156: https://www.ravenbrook.com/project/mps/issue/job004156/
.. _GCC Warning Options: https://gcc.gnu.org/onlinedocs/gcc/Warning-Options.html