diff options
| author | drowe67 <[email protected]> | 2023-12-11 12:16:48 +1030 |
|---|---|---|
| committer | David Rowe <[email protected]> | 2023-12-11 12:16:48 +1030 |
| commit | 18c5e48d5c86a5d02c996d129880bb8d212e9b75 (patch) | |
| tree | 089d8081f278be6b9718cd8c2138947fa1d0fb9b /doc/Makefile | |
| parent | 21dd265f96391d11c0e09196e62bcd62a3d2828c (diff) | |
exclude test_codec2_doc when running tests on github actions
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 0658fe1..659d4f6 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -32,4 +32,4 @@ $(PLOT_FILES): .PHONY: clean clean: - rm -f *.blg *.bbl *.aux *.log *.out hts2a*
\ No newline at end of file + rm -f *.blg *.bbl *.aux *.log *.out hts2a* |