aboutsummaryrefslogtreecommitdiff
path: root/build
AgeCommit message (Expand)AuthorFilesLines
2024-03-20Merge branch 'main' into bitmanipBill Traynor2-28/+11
2024-01-29Removing priv latex buildBill Traynor1-19/+19
2023-10-11Pass MAKEFLAGS to docker make commandAndrew Waterman1-1/+1
2023-10-11Remove LaTeX specsAndrew Waterman1-27/+1
2023-09-12apply adoc compression (#1125)jnk0le1-1/+2
2023-09-06Add `make docker` target to simplify building with docker imageAndrew Waterman1-0/+5
2023-08-10Add *.pdf.tmp to build/.gitignore (#1091)Tsukasa OI1-0/+1
2023-08-10Add *.html to build/.gitignoreTsukasa OI1-0/+1
2023-04-17Update the path for Makefile cleanup and GitHub Actions buildRafael Sene1-2/+3
2023-04-17Add the capability to build the Latex version of ISARafael Sene1-9/+54
2023-04-05Removing unneeded individual makefiles.Bill Traynor2-44/+0
2023-04-04Renamed doc header file.Bill Traynor1-2/+2
2023-04-04Update MakefileRafael Sene1-1/+1
2023-03-31Update MakefileRafael Sene1-1/+23
2023-03-28Depend on all .adoc sourcesAndrew Waterman1-2/+2
2023-03-28Don't generate .pdf output unless build succeedsAndrew Waterman1-4/+8
2023-03-22Update MakefileRafael Sene1-3/+3
2023-03-22Add specific targets for priv and unpriv buildRafael Sene1-22/+41
2023-01-30Separating buildsBill Traynor2-0/+44
2023-01-30Fixed the outfile nameBill Traynor1-2/+2
2023-01-30Switching back to build unprivBill Traynor1-2/+2
2023-01-27Change to build priv onlyBill Traynor1-2/+4
2023-01-27Restoring makefile to unpriv onlyBill Traynor1-2/+2
2023-01-27Updating for priv buildBill Traynor1-2/+2
2022-12-23What happens with no theme.Bill Traynor1-4/+0
2022-12-23Added PDF-THEME lineBill Traynor1-0/+1
2022-12-23Changed pdf-style to pdf-themeBill Traynor1-1/+1
2022-12-09Added font fallback in correct place.Bill Traynor1-0/+1
2021-12-20Update Makefile to use asciidoctor buildStephano Cetola2-68/+24
2021-07-25Remove trailing spaces in Makefile (#692)Axel Heider1-4/+4
2018-05-23Build PDFs of the specs when master branch is pushedAndrew Waterman1-1/+1
2017-06-12Fix word case, typos and word choicePaul Wise1-2/+2
2017-02-01Reorganize directory structureAndrew Waterman2-0/+75