diff options
| author | Daniel Lustig <dlustig@nvidia.com> | 2021-10-13 16:56:13 -0400 |
|---|---|---|
| committer | Daniel Lustig <dlustig@nvidia.com> | 2021-10-13 16:56:13 -0400 |
| commit | 500d45193cddf6b6324fb3cf2224e2b8b176dbae (patch) | |
| tree | 716fbc7d060c491e99eef65c45248563d6c4b32d /build | |
| parent | 42bd6ecc07f48b424dc46851b70e6cc5f3140ff2 (diff) | |
| parent | 399c9a759eb4540a65c60e2cc236164821ff2346 (diff) | |
| download | riscv-isa-manual-500d45193cddf6b6324fb3cf2224e2b8b176dbae.zip riscv-isa-manual-500d45193cddf6b6324fb3cf2224e2b8b176dbae.tar.gz riscv-isa-manual-500d45193cddf6b6324fb3cf2224e2b8b176dbae.tar.bz2 | |
Merge branch 'master' into virtual-memoryvirtual-memory
Diffstat (limited to 'build')
| -rw-r--r-- | build/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/build/Makefile b/build/Makefile index 8b895f2..7a64a4c 100644 --- a/build/Makefile +++ b/build/Makefile @@ -8,19 +8,19 @@ # build directory, copy the makefile there, and change the srcdir # variable accordingly. # -# Note that the makefile assumes that the default dvips/ps2pdfwr -# commands "do the right thing" for fonts in pdfs. This is true on +# Note that the makefile assumes that the default dvips/ps2pdfwr +# commands "do the right thing" for fonts in pdfs. This is true on # Athena/Linux and Fedora Core but is not true for older redhat installs ... # # At a minimum you should just change the main variable to be -# the basename of your toplevel tex file. If you use a bibliography +# the basename of your toplevel tex file. If you use a bibliography # then you should set the bibfile variable to be the name of your # .bib file (assumed to be in the source directory). # srcdir = ../src -docs_with_bib = riscv-spec riscv-privileged +docs_with_bib = riscv-spec riscv-privileged docs_without_bib = srcs = $(wildcard $(srcdir)/*.tex) |