diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-03-22 18:04:18 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-03-22 18:04:18 +0000 |
commit | 0f223a52dc59646ce2731ebd9b2141ce1ad82ba1 (patch) | |
tree | c766d2be9ee53abbebd5c87c8aed61c254de5c95 /Makefile | |
parent | 5875596b7a6213287c109e07bfe489cd59b773b0 (diff) | |
download | vericert-0f223a52dc59646ce2731ebd9b2141ce1ad82ba1.tar.gz vericert-0f223a52dc59646ce2731ebd9b2141ce1ad82ba1.zip |
Add first descriptions to org file
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 5 |
1 files changed, 4 insertions, 1 deletions
@@ -87,7 +87,10 @@ clean:: Makefile.coq rm -f Makefile.coq detangle-all: - emacs --batch --eval "(progn(require 'org)(require 'ob-tangle)$(foreach vs,$(VS),(org-babel-detangle \"$(vs)\")))" + emacs --batch --eval "(progn(require 'org)(require 'ob-tangle)\ + (setq org-src-preserve-indentation t)\ + $(foreach vs,$(VS),(org-babel-detangle \"$(vs)\"))\ + (org-save-all-org-buffers))" clean:: rm -f */*.v.d */*.glob */*.vo */*~ *~ |