mirrors/emacs
1
Fork 0
mirror of git://git.sv.gnu.org/emacs.git synced 2026-03-27 09:11:48 -07: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 3724c40993
commit 0c4ac0edb2
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