diff options
Diffstat (limited to 'Documentation/Makefile')
-rw-r--r-- | Documentation/Makefile | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index ecfbdb4c599a..b5f97d197564 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -63,7 +63,13 @@ socketfkconfig.tex: ../src/cpu/amd/socket_F/Kconfig grep '^config' $< | awk '{print $2}' >>$@ cat endverbatim.tex >> $@ -clean: +sphinx: + $(MAKE) -f Makefile.sphinx html + +clean-sphinx: + $(MAKE) -f Makefile.sphinx clean + +clean: clean-sphinx rm -f *.aux *.idx *.log *.toc *.out $(FIGS) mainboardkconfig.tex skconfig.tex cpukconfig.tex socketfkconfig.tex distclean: clean |