idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-09-11 13:36:08 +03:00
Code Issues Projects Releases Wiki Activity

Do not build docs for papers

Browse Source
This commit is contained in:
Kamiλ Shakirov 2022-11-15 17:59:04 +06:00 committed by CodingCellist
parent 73733f03ff
commit dbb3853484
1 changed files with 0 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
Makefile
View File

@ -106,7 +106,6 @@ libdocs:
${MAKE} -C libs/network docs IDRIS2=${TARGET} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
${MAKE} -C libs/test docs IDRIS2=${TARGET} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
${MAKE} -C libs/linear docs IDRIS2=${TARGET} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
${MAKE} -C libs/papers docs IDRIS2=${TARGET} IDRIS2_PATH=${IDRIS2_BOOT_PATH}
ifeq ($(OS), windows)