[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[task #15816] Run time option to specify if changes should be highlighte
From: |
Mohammad Akhlaghi |
Subject: |
[task #15816] Run time option to specify if changes should be highlighted or not |
Date: |
Fri, 20 Nov 2020 10:14:26 -0500 (EST) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:83.0) Gecko/20100101 Firefox/83.0 |
Follow-up Comment #1, task #15816 (project reproduce):
I just implemented this in the Maneage paper as a trial (in Commit 7692033f8
<https://gitlab.com/makhlaghi/maneage-paper/-/commit/7692033f8>).
With the first (default) command, nothing is highlighted, with the second one
only the '\new' parts are highlighted, with the third, the '\tonote' parts
will be visible, and with the last one both '\new' and '\tonote' parts will be
visible, and the project's commit hash will remain unchanged in any of the
PDFs:
./project make
./project make --highlight-new
./project make --highlight-notes
./project make --highlight-new --highlight-notes
_______________________________________________________
Reply to this item at:
<https://savannah.nongnu.org/task/?15816>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/