File tree Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Expand file tree Collapse file tree 2 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -9,9 +9,5 @@ include $(TOPDIR)/Makefile.global
9
9
# Subdirectories to recurse into for REC_TARGETS
10
10
SUBDIRS = manual team examples
11
11
12
- # Cleanup LaTeX logs, etc. after generating documentation for distribution.
13
- distdocs-l :
14
- $(MAKE ) clean
15
-
16
12
install-docs-l :
17
13
$(INSTALL_DATA ) -t $(DESTDIR )$(domjudge_docdir ) /logos logos/DOMjudgelogo.pdf
Original file line number Diff line number Diff line change @@ -28,6 +28,10 @@ gentexconfig: gentexconfig.in $(TOPDIR)/paths.mk
28
28
$(MANUALSPDF ) : % pdf: % tex team-manual-preamble.tex $(TOPDIR ) /etc/domserver-config.php
29
29
./genteammanuals
30
30
31
+ # Cleanup LaTeX logs, etc. after generating documentation for distribution.
32
+ distdocs-l :
33
+ $(MAKE ) clean
34
+
31
35
clean-l :
32
36
-rm -f $(addprefix team-manual* .,aux log out)
33
37
-rm -rf _minted-team-manual*
You can’t perform that action at this time.
0 commit comments