summaryrefslogtreecommitdiff
path: root/Documentation/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Documentation/Makefile')
-rw-r--r--Documentation/Makefile8
1 files changed, 7 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile
index ecfbdb4c59..b5f97d1975 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