diff options
Diffstat (limited to 'Doc')
| -rw-r--r-- | Doc/Makefile.deps | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Doc/Makefile.deps b/Doc/Makefile.deps index 55d8de0..fc424bd 100644 --- a/Doc/Makefile.deps +++ b/Doc/Makefile.deps @@ -60,8 +60,10 @@ EXTFILES= ext/ext.tex $(MANSTYLES) $(INDEXSTYLES) $(COMMONTEX) \ ext/building.tex \ ext/windows.tex \ ext/embedding.tex \ - ext/cycle-gc.c \ ext/noddy.c \ + ext/noddy2.c \ + ext/noddy3.c \ + ext/noddy4.c \ ext/run-func.c \ texinputs/typestruct.h \ texinputs/reportingbugs.tex |