aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--Makefile10
1 files changed, 1 insertions, 9 deletions
diff --git a/Makefile b/Makefile
index c5c5ab69d..57fa6e3a4 100644
--- a/Makefile
+++ b/Makefile
@@ -976,14 +976,6 @@ DOC_TARGET ?= html
docs: docs/source/cmd/abc.rst docs/gen_images docs/guidelines
$(Q) $(MAKE) -C docs $(DOC_TARGET)
-update-manual: $(TARGETS) $(EXTRA_TARGETS)
- cd manual && ../$(PROGRAM_PREFIX)yosys -p 'help -write-tex-command-reference-manual'
-
-manual: $(TARGETS) $(EXTRA_TARGETS)
- cd manual && bash appnotes.sh
- cd manual && bash presentation.sh
- cd manual && bash manual.sh
-
clean:
rm -rf share
rm -rf kernel/*.pyh
@@ -1127,5 +1119,5 @@ echo-abc-rev:
-include kernel/*.d
-include techlibs/*/*.d
-.PHONY: all top-all abc test install install-abc docs manual clean mrproper qtcreator coverage vcxsrc mxebin
+.PHONY: all top-all abc test install install-abc docs clean mrproper qtcreator coverage vcxsrc mxebin
.PHONY: config-clean config-clang config-gcc config-gcc-static config-gcc-4.8 config-afl-gcc config-gprof config-sudo