diff options
author | Yann Herklotz <git@yannherklotz.com> | 2023-06-26 18:29:39 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2023-06-26 18:29:39 +0100 |
commit | 6ae44229dedb893410bd9cec34a9435f9c233f40 (patch) | |
tree | ba3a421eb55a270e3efb11048ad29376b3173ce4 /Makefile | |
parent | 76febac7dd6290d1ca070a0d3ba65a4fa654bded (diff) | |
download | vericert-6ae44229dedb893410bd9cec34a9435f9c233f40.tar.gz vericert-6ae44229dedb893410bd9cec34a9435f9c233f40.zip |
Fix man file generation
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
@@ -47,7 +47,7 @@ lib/COHPREDSTAMP: $(MAKE) -C lib/cohpred touch lib/COHPREDSTAMP -install: # doc/vericert.1 +install: doc/vericert.1 sed -i'' -e 's/arch=verilog/arch=x86/' _build/default/driver/compcert.ini install -d $(PREFIX)/bin install -C -m 644 _build/default/driver/compcert.ini $(PREFIX)/bin @@ -95,8 +95,8 @@ Makefile.coq _CoqProject: force force: -docs/vericert.1: - $(MAKE) -C docs vericert.1 +doc/vericert.1: + $(MAKE) -C doc -f Makefile.extr vericert.1 detangle-all: emacs --batch --eval "(progn(require 'org)(require 'ob-tangle)\ |