File tree
Expand file treeCollapse file tree1 file changed
+3
-0
lines changed Expand file treeCollapse file tree1 file changed
+3
-0
lines changed | Original file line number | Diff line number | Diff line change |
|---|
@@ -12,3 +12,6 @@ inplace-install inplace-uninstall: SUBDIRS=manual |
12 | 12 |
|
13 | 13 | install-docs-l: |
14 | 14 | $(INSTALL_DATA) -t $(DESTDIR)$(domjudge_docdir)/logos logos/DOMjudgelogo.pdf |
| 15 | + |
| 16 | +distclean-l: |
| 17 | +-rm -rf manual/build |
You can’t perform that action at this time.
0 commit comments