diff --git a/book/.gitignore b/book/.gitignore index 0b03e16..c7d5c1d 100644 --- a/book/.gitignore +++ b/book/.gitignore @@ -1,20 +1,20 @@ -book.aux -book.brf -book.idx -book.ilg -book.ind -book.lof -book.log -book.pdf -book.toc -book.bbl -book.blg -book.out +rvalp.aux +rvalp.brf +rvalp.idx +rvalp.ilg +rvalp.ind +rvalp.lof +rvalp.log +rvalp.pdf +rvalp.toc +rvalp.bbl +rvalp.blg +rvalp.out *.aux -book.glg -book.glo -book.gls -book.glsdefs -book.ist +rvalp.glg +rvalp.glo +rvalp.gls +rvalp.glsdefs +rvalp.ist *.bak -out-book.pdf +out-rvalp.pdf diff --git a/book/Makefile b/book/Makefile index 93025d5..0c22381 100644 --- a/book/Makefile +++ b/book/Makefile @@ -6,13 +6,12 @@ include $(TOP)/Make.rules TEXPATH=float:intro:rv32:copyright:license:elements:binary:programs/src - -all:: book.pdf +all:: rvalp.pdf clean:: - rm -f book.pdf */*.aux $(LATEX_CLEANFILES) + rm -f rvalp.pdf */*.aux $(LATEX_CLEANFILES) -book.pdf:: *.tex bibliography.bib +rvalp.pdf:: *.tex bibliography.bib spell: #find . -name "*.tex" -exec aspell --lang=en --mode=tex check "{}" \; diff --git a/book/book.tex b/book/rvalp.tex similarity index 100% rename from book/book.tex rename to book/rvalp.tex