diff options
author | H. Peter Anvin <hpa@zytor.com> | 2018-12-24 12:16:38 -0800 |
---|---|---|
committer | H. Peter Anvin <hpa@zytor.com> | 2018-12-24 12:18:59 -0800 |
commit | 9acfdb26da1e1c5c730a74ec161e7c5694b03122 (patch) | |
tree | 64cffe503bc5e90f8c8bf6bc1c0178cf521a28b4 | |
parent | ad2fab777829fefeae6dec5f2789835ec90c0a67 (diff) | |
download | nasm-9acfdb26da1e1c5c730a74ec161e7c5694b03122.tar.gz |
Makefile: make doc depend on warnings.src
warnings.src needs to exist for make doc to work.
Signed-off-by: H. Peter Anvin <hpa@zytor.com>
-rw-r--r-- | Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 45cfdb51..1b9bc40c 100644 --- a/Makefile.in +++ b/Makefile.in @@ -429,7 +429,7 @@ rdf_install install_rdf install_rdoff: $(MKDIR) $(DESTDIR)$(mandir)/man1 $(INSTALL_DATA) $(srcdir)/rdoff/*.1 $(DESTDIR)$(mandir)/man1/ -doc: +doc: doc/warnings.src $(MAKE) -C doc all doc_install install_doc: |