diff options
| author | Unai Martinez-Corral <38422348+umarcor@users.noreply.github.com> | 2021-06-26 19:40:25 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-26 20:40:25 +0200 |
| commit | b4d4d9abb322ed0807d2ba0888e73820499aa338 (patch) | |
| tree | b980d379e95034ee72aac29955833e1ef0dfd912 /doc/Makefile | |
| parent | 111fe055b2f0f3a0225d2553cf739572d691a14d (diff) | |
| download | ghdl-b4d4d9abb322ed0807d2ba0888e73820499aa338.tar.gz ghdl-b4d4d9abb322ed0807d2ba0888e73820499aa338.tar.bz2 ghdl-b4d4d9abb322ed0807d2ba0888e73820499aa338.zip | |
Codacy issues, Travis cleanup and update ghdl.texi (#1807)
* ghw: fix memleaks reported by codacy
* ghw: printf issues and style (GNU indent)
* testsuite/gna: minor printf issues
* testsuite: fix issues reported by codacy
* scripts/ci-run: clean travis stuff (deprecated)
* scripts: fix issues reported by codacy
* doc/Makefile: add .PHONY
* doc: update ghdl.texi
* testsuite/synth: use synth_tb
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/Makefile b/doc/Makefile index b094368e1..0bad2ab5b 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -12,6 +12,8 @@ ALLSPHINXOPTS = -d $(BUILDDIR)/doctrees -T -D language=en $(PAPEROPT_$(PAPER)) all: ghdl.info +.PHONY: ghdl.texi + #--- man: |