diff options
| author | Hendrik Tews | 2021-01-22 22:40:24 +0100 |
|---|---|---|
| committer | hendriktews | 2021-01-31 21:42:52 +0100 |
| commit | 7473a130baba2d3011073f48c1df36c75894f943 (patch) | |
| tree | 93fc25f471186ae7e449c89521a745b4d5ac524e /doc/PG-adapting.texi | |
| parent | 62336eb740f34af5461b9da569ae0ee43a066b19 (diff) | |
fix make magic problem from 2018
this problem was introduced in a921439a4eb5b0d96182748e779c78e2f6a41a5f
Diffstat (limited to 'doc/PG-adapting.texi')
| -rw-r--r-- | doc/PG-adapting.texi | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/doc/PG-adapting.texi b/doc/PG-adapting.texi index 14fe5219..8bb581dc 100644 --- a/doc/PG-adapting.texi +++ b/doc/PG-adapting.texi @@ -3046,11 +3046,6 @@ and operating systems. They are referred to mainly in @file{proof-compat} (which helps to keep the architecture and version dependent code in one place). -@c TEXI DOCSTRING MAGIC: proof-running-on-win32 -@defvar proof-running-on-win32 -Non-nil if Proof General is running on a windows variant system. -@end defvar - @node Useful functions and macros @section Useful functions and macros |