From 7473a130baba2d3011073f48c1df36c75894f943 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Fri, 22 Jan 2021 22:40:24 +0100
Subject: fix make magic problem from 2018

this problem was introduced in a921439a4eb5b0d96182748e779c78e2f6a41a5f
---
 doc/PG-adapting.texi | 5 -----
 1 file changed, 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
-- 
cgit v1.2.3