Hi Uwe,

>>>>> Uwe Brauer <o...@mat.ucm.es> writes:
> May it is a personal defect of mine. 
> Let me try to explain this a bit better. For me right now the most
> interesting new Latex package is called leanblueprint. It is connected
> to the proof checkers, that are currently quite popular.

> If I can make it work for my purpose, I am thinking for writing an
> auctex style at least.

> Nowe I feel rather uncomfortable to mess around with files that dwell in
> elpa
> in my case (~/.emacs.d/elpa) 
> and are *not* under version control!

Hmm, then you can separately install ELPA-devel for your daily work and
have a repo, under version control, for your experiments. In the
experiment repo, *don't run make*. Basically developments/experiments
don't need "make" to be run. When you wan't to try byte compile the file
to check whether there is compile error/warning, do that manually by
emacs -f batch-byte-compile foo.elc
. (A shell alias is handy for it.)

The repo can be created by either
(1) Copy elpa files by "cp -r" into another directory and "hg init"
there.
(2) Clone the remote AUCTeX repo at savannah by "hg clone git://...".

> https://lists.gnu.org/archive/html/auctex-devel/2024-04/msg00113.html

> Seems the correct one

You don't have to worry about "make". It isn't necessary for your
primary purpose. (Actually, I expect you can even run "make" in your
repo because, as I said before, the commit by Stephan changed nothing
about data extraction from the .git directory. But I recommend to stay
away from "make" if you are worrying that something goes wrong.)

Regards,
Ikumi Keita
#StandWithUkraine #StopWarInUkraine
#Gaza #StopMassiveKilling #CeasefireNOW

Reply via email to