GNUBoot
/
presentations
mirror of https://git.savannah.gnu.org/git/gnuboot/presentations.git
2
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Libreplanet2023: Production build 

Signed-off-by: Denis 'GNUtoo' Carikli <GNUtoo@cyberdimension.org>
This commit is contained in:
Denis 'GNUtoo' Carikli 2023-03-18 03:25:59 +01:00
parent 00d2707a9a
commit 7931f3f89e
Signed by: GNUtoo
GPG Key ID: 5F5DFCC14177E263
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Libreplanet2023/Makefile
View File

@ -32,7 +32,7 @@ output/$(TITLE).pdf: \
$(TITLE).tex \
output
pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}'
@echo skipping pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}'
pdflatex $(TEXFLAGS) '\providecommand\locale{en}\input{$(TITLE).tex}'
du -hs $@
##############################