From d1457ecc41713b8fff745a66cd6c8375f26f4fc9 Mon Sep 17 00:00:00 2001 From: Matt Quinn Date: Mon, 11 Dec 2017 07:28:23 +0300 Subject: Removing the FAQ, which has been moved to the GitHub wiki for this repository. Also removing FAQ-related build rules. --- Makefile | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 7b4766c3b..fc963506a 100644 --- a/Makefile +++ b/Makefile @@ -231,8 +231,7 @@ docclean: doc/stdlib/*Library.coqdoc.tex doc/stdlib/library.files \ doc/stdlib/library.files.ls doc/stdlib/FullLibrary.tex rm -f doc/*/*.ps doc/*/*.pdf doc/*/*.eps doc/*/*.pdf_t doc/*/*.eps_t - rm -f doc/faq/axioms.png - rm -rf doc/refman/html doc/stdlib/html doc/faq/html doc/tutorial/tutorial.v.html + rm -rf doc/refman/html doc/stdlib/html doc/tutorial/tutorial.v.html rm -f doc/refman/euclid.ml doc/refman/euclid.mli rm -f doc/refman/heapsort.ml doc/refman/heapsort.mli rm -f doc/common/version.tex -- cgit v1.2.3