Beluga-lang/Meta

Unable to build book

FranklinChen opened this issue · 3 comments

I tried to build the book but failed:

$ make
NOTE: You may ignore warnings about the following files:

     book.d
     chap-binders.d
     chap-introduction.d
     chap-minml.d
     chap-norm.d
     chap-preface.d
     chap-solutions.d
     prelude.d
     top.d
     writing-instructions.d

Makefile:2556: book.d: No such file or directory
Makefile:2556: chap-binders.d: No such file or directory
Makefile:2556: chap-introduction.d: No such file or directory
Makefile:2556: chap-minml.d: No such file or directory
Makefile:2556: chap-norm.d: No such file or directory
Makefile:2556: chap-preface.d: No such file or directory
Makefile:2556: chap-solutions.d: No such file or directory
Makefile:2556: prelude.d: No such file or directory
Makefile:2556: top.d: No such file or directory
Makefile:2556: writing-instructions.d: No such file or directory
= writing-instructions.tex --> writing-instructions.d writing-instructions.pdf.1st.make (0-1) =
= top.tex --> top.d top.pdf.1st.make (0-1) =
./top.tex:2: LaTeX Error: Missing \begin{document}. --- Are you trying to build an include file?
./top.tex:6: Undefined control sequence: \LARGE
./top.tex:7: Undefined control sequence: \bf
./top.tex:23: Undefined control sequence: \footnotesize
Error: failed to create top.aux
make: *** [top.d] Error 1

Please try : pdflatex book and it should build. I will assign someone to fix the make file.

Actually, I have managed to build the book after making one change. I commented out

\newcommand{\Ref}{~\textsf{ref}}

in prelude.tex and then ran

$ make book

and book.pdf was created.

@FranklinChen The issue has been fixed, and make (without additional book) works now.

@pientka I couldn't find any \Ref usage in our .tex files. Is the command currently in use?